]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
gccrs: remove similar hack in type paths as we had in path expressions
authorPhilip Herron <herron.philip@googlemail.com>
Sat, 3 Feb 2024 11:46:42 +0000 (11:46 +0000)
committerArthur Cohen <arthur.cohen@embecosm.com>
Wed, 7 Feb 2024 11:40:23 +0000 (12:40 +0100)
This keeps the resolution code in line with paths.

Addresses #2723

gcc/rust/ChangeLog:

* typecheck/rust-hir-type-check-type.cc: remove hack

gcc/rust/typecheck/rust-hir-type-check-type.cc

index 0d108c3959ca819352fdbb90327fe79ce2d44c79..74a12c4b0110796c464bf2b7ecb7c7b5c759eb31 100644 (file)
@@ -572,22 +572,6 @@ TypeCheckType::resolve_segments (
     }
 
   context->insert_receiver (expr_mappings.get_hirid (), prev_segment);
-  if (tyseg->needs_generic_substitutions ())
-    {
-      // location_t locus = segments.back ()->get_locus ();
-      if (!prev_segment->needs_generic_substitutions ())
-       {
-         auto used_args_in_prev_segment
-           = GetUsedSubstArgs::From (prev_segment);
-         if (!used_args_in_prev_segment.is_error ())
-           tyseg
-             = SubstMapperInternal::Resolve (tyseg, used_args_in_prev_segment);
-       }
-
-      if (tyseg->get_kind () == TyTy::TypeKind::ERROR)
-       return new TyTy::ErrorType (expr_id);
-    }
-
   rust_assert (resolved_node_id != UNKNOWN_NODEID);
 
   // lookup if the name resolver was able to canonically resolve this or not