get past type nonsense, die in marklive

Rust-GCC · Jan 11, 2025 · aab004e · aab004e
1 parent fc6f5b6
commit aab004e
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/gcc/rust/typecheck/rust-hir-type-check-path.cc b/gcc/rust/typecheck/rust-hir-type-check-path.cc
@@ -205,14 +205,15 @@ TypeCheckExpr::visit (HIR::PathInExpression &expr)
 
       //now find its type
       TyTy::BaseType *bl = TypeCheckItem::Resolve (hi);
-      infered = bl;
-      assert(bl != nullptr);
       //lmao, find a better way to do this...
       TyTy::VariantDef *vde =
 	TypeCheckEnumItem::Resolve(ei,INT64_MAX - 1);
 
       context->insert_variant_definition (expr.get_mappings ().get_hirid (),
 					  vde->get_id());
+      bl = SubstMapper::InferSubst (bl, expr.get_locus ());
+      infered = bl;
+      assert(bl != nullptr);
       return;
     }
   TyTy::BaseType *tyseg = resolve_root_path (expr, &offset, &resolved_node_id);