Refactored to use implicit insert (#3395)

mostafa630 · mostafa630 · commit 0d0413d1d1af · 2025-03-05T17:34:21.000+02:00
diff --git a/gcc/rust/typecheck/rust-substitution-mapper.cc b/gcc/rust/typecheck/rust-substitution-mapper.cc
@@ -152,18 +152,13 @@ SubstMapperInternal::Resolve (TyTy::BaseType *base,
     = context->lookup_type (mapper.resolved->get_ty_ref (), &unused);
   if (!is_ty_available)
     {
-      context->insert_type (
-	Analysis::NodeMapping (0, 0, mapper.resolved->get_ty_ref (), 0),
-	mapper.resolved);
+      context->insert_implicit_type(mapper.resolved->get_ty_ref () , mapper.resolved);
     }
   bool is_ref_available
     = context->lookup_type (mapper.resolved->get_ref (), &unused);
   if (!is_ref_available)
     {
-      context->insert_type (Analysis::NodeMapping (0, 0,
-						   mapper.resolved->get_ref (),
-						   0),
-			    mapper.resolved);
+      context->insert_implicit_type(mapper.resolved->get_ref () ,  mapper.resolved)
     }
 
   return mapper.resolved;

Original file line number	Diff line number	Diff line change
`@@ -152,18 +152,13 @@ SubstMapperInternal::Resolve (TyTy::BaseType *base,`
`152`	`152`	`= context->lookup_type (mapper.resolved->get_ty_ref (), &unused);`
`153`	`153`	`if (!is_ty_available)`
`154`	`154`	`{`
`155`		`- context->insert_type (`
`156`		`- Analysis::NodeMapping (0, 0, mapper.resolved->get_ty_ref (), 0),`
`157`		`- mapper.resolved);`
	`155`	`+ context->insert_implicit_type(mapper.resolved->get_ty_ref () , mapper.resolved);`
`158`	`156`	`}`
`159`	`157`	`bool is_ref_available`
`160`	`158`	`= context->lookup_type (mapper.resolved->get_ref (), &unused);`
`161`	`159`	`if (!is_ref_available)`
`162`	`160`	`{`
`163`		`- context->insert_type (Analysis::NodeMapping (0, 0,`
`164`		`- mapper.resolved->get_ref (),`
`165`		`- 0),`
`166`		`- mapper.resolved);`
	`161`	`+ context->insert_implicit_type(mapper.resolved->get_ref () , mapper.resolved)`
`167`	`162`	`}`
`168`	`163`
`169`	`164`	`return mapper.resolved;`