Handle error context when inferring multiplicity and cardinality..

edb/edgeql/compiler/inference/cardinality.py

@@ -863,6 +863,11 @@ def __infer_typecast(
     scope_tree: irast.ScopeTreeNode,
     ctx: inference_context.InfCtx,
 ) -> qltypes.Cardinality:
+    if ir.error_message_context is not None:
+        infer_cardinality(
+            ir.error_message_context, scope_tree=scope_tree, ctx=ctx
+        )
+
     card = infer_cardinality(
         ir.expr, scope_tree=scope_tree, ctx=ctx,
     )

edb/edgeql/compiler/inference/multiplicity.py

@@ -562,6 +562,11 @@ def __infer_typecast(
     scope_tree: irast.ScopeTreeNode,
     ctx: inf_ctx.InfCtx,
 ) -> inf_ctx.MultiplicityInfo:
+    if ir.error_message_context is not None:
+        infer_multiplicity(
+            ir.error_message_context, scope_tree=scope_tree, ctx=ctx
+        )
+
     return infer_multiplicity(
         ir.expr, scope_tree=scope_tree, ctx=ctx,
     )

edb/edgeql/compiler/stmtctx.py

@@ -53,7 +53,7 @@
 
 from edb.edgeql import ast as qlast
 
-from edb.common.ast import visitor as ast_visitor, find_children
+from edb.common.ast import visitor as ast_visitor
 from edb.common import ordered
 from edb.common.typeutils import not_none
 
@@ -191,9 +191,6 @@ def fini_expression(
         if p.sub_params and p.sub_params.decoder_ir
     ]
     extra_exprs += [trigger.expr for stage in ir_triggers for trigger in stage]
-    for type_cast in find_children(ir, irast.TypeCast):
-        if type_cast.error_message_context is not None:
-            extra_exprs.append(type_cast.error_message_context)
 
     all_exprs = [ir] + extra_exprs