Fix some migration crashes due to missing source contexts

A None check was added by #5693, so just extract that. Fixes #6187.
edgedb · Oct 12, 2023 · 49aaa57 · 49aaa57
1 parent dff90f6
commit 49aaa57
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/edb/errors/base.py b/edb/errors/base.py
@@ -143,7 +143,10 @@ def set_hint_and_details(self, hint, details=None):
     def has_source_context(self):
         return FIELD_DETAILS in self._attrs
 
-    def set_source_context(self, context):
+    def set_source_context(self, context: Optional[pctx.ParserContext]):
+        if not context:
+            return
+
         start = context.start_point
         end = context.end_point
         ex.replace_context(self, context)