diff options
| author | Philip Herron <herron.philip@googlemail.com> | 2024-02-03 11:46:42 +0000 |
|---|---|---|
| committer | Philip Herron <philip.herron@embecosm.com> | 2024-02-04 00:21:21 +0000 |
| commit | f8e4a9c6600bf2954f3aec72dd1a06901fac3635 (patch) | |
| tree | 3b9ddf2fb9a507900c52146e529c06dae67726a5 /gcc | |
| parent | ce4e7944cf2c0ae705e86357729358364bc0fd21 (diff) | |
| download | gcc-f8e4a9c6600bf2954f3aec72dd1a06901fac3635.zip gcc-f8e4a9c6600bf2954f3aec72dd1a06901fac3635.tar.gz gcc-f8e4a9c6600bf2954f3aec72dd1a06901fac3635.tar.bz2 | |
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/rust/typecheck/rust-hir-type-check-type.cc | 16 |
1 files changed, 0 insertions, 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 56f2cf5..2766029 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 |