From f84f1fd065f753185168f3828e5c44bd2ad93b4e Mon Sep 17 00:00:00 2001
From: Arthur Cohen <arthur.cohen@embecosm.com>
Date: Tue, 24 Dec 2024 11:45:46 +0000
Subject: [PATCH] wip: typecheck: query type just to make sure?

---
 gcc/rust/typecheck/rust-hir-type-check-path.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gcc/rust/typecheck/rust-hir-type-check-path.cc b/gcc/rust/typecheck/rust-hir-type-check-path.cc
index 8cf8c9ccac8..e3264e56d1c 100644
--- a/gcc/rust/typecheck/rust-hir-type-check-path.cc
+++ b/gcc/rust/typecheck/rust-hir-type-check-path.cc
@@ -224,6 +224,8 @@ TypeCheckExpr::visit (HIR::PathInExpression &expr)
 
 	      rust_assert (resolved);
 
+	      query_type(*hir_id, &infered);
+
 	      infered = SubstMapper::InferSubst (resolved, expr.get_locus ());
 	    }