From 63697c37cf329e3b265ff4eaa16a6efd28f2a38b Mon Sep 17 00:00:00 2001 From: Yizhe Date: Wed, 17 Mar 2021 07:24:46 +0000 Subject: Add the new InferType to lookup table --- gcc/rust/typecheck/rust-hir-type-check-expr.h | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) (limited to 'gcc') diff --git a/gcc/rust/typecheck/rust-hir-type-check-expr.h b/gcc/rust/typecheck/rust-hir-type-check-expr.h index a734dcf..df5c47a 100644 --- a/gcc/rust/typecheck/rust-hir-type-check-expr.h +++ b/gcc/rust/typecheck/rust-hir-type-check-expr.h @@ -706,10 +706,16 @@ public: return true; }); - // Create an infer type and register its hir_id + // Create an infer type and register it in TypeCheckContext + // TODO: This is very leaky. Need a refactor of some sort. + auto crateNum = Analysis::Mappings::get ()->get_current_crate (); + auto nodeId = UNKNOWN_NODEID; + auto hirId = mappings->get_next_hir_id (); + auto localDefId = UNKNOWN_LOCAL_DEFID; + auto mappings = Analysis::NodeMapping (crateNum, nodeId, hirId, localDefId); infered_array_elems - = new TyTy::InferType (mappings->get_next_hir_id (), - TyTy::InferType::InferTypeKind::GENERAL); + = new TyTy::InferType (hirId, TyTy::InferType::InferTypeKind::GENERAL); + context->insert_type (mappings, infered_array_elems); for (auto &type : types) { -- cgit v1.1