https://gcc.gnu.org/g:f8e4a9c6600bf2954f3aec72dd1a06901fac3635
commit f8e4a9c6600bf2954f3aec72dd1a06901fac3635
Author: Philip Herron <herron.phi...@googlemail.com>
Date: Sat Feb 3 11:46:42 2024 +0000
gccrs: remove similar hack in type paths as we had in path expressions
This keeps the resolution code in line with paths.
Addresses #2723
gcc/rust/ChangeLog:
* typecheck/rust-hir-type-check-type.cc: remove hack
Diff:
---
gcc/rust/typecheck/rust-hir-type-check-type.cc | 16 ----------------
1 file changed, 16 deletions(-)
diff --git a/gcc/rust/typecheck/rust-hir-type-check-type.cc
b/gcc/rust/typecheck/rust-hir-type-check-type.cc
index 56f2cf5dae31..2766029c744a 100644
--- a/gcc/rust/typecheck/rust-hir-type-check-type.cc
+++ b/gcc/rust/typecheck/rust-hir-type-check-type.cc
@@ -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
