From: Philip Herron <herron.phi...@googlemail.com>
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 | 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 0d108c3959c..74a12c4b011 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
--
2.42.1
