diff options
| author | Philip Herron <herron.philip@googlemail.com> | 2023-05-31 16:06:58 +0100 |
|---|---|---|
| committer | Arthur Cohen <arthur.cohen@embecosm.com> | 2024-01-16 18:46:24 +0100 |
| commit | e64a12f903bd64437bc9267f27dc2ba59b6ad5d5 (patch) | |
| tree | a4c30bacac95083e16f5a240610f22e2f8d3556b /gcc/rust/Make-lang.in | |
| parent | 18ba67df507b0c4560200b444f37dce07c6fc803 (diff) | |
| download | gcc-e64a12f903bd64437bc9267f27dc2ba59b6ad5d5.zip gcc-e64a12f903bd64437bc9267f27dc2ba59b6ad5d5.tar.gz gcc-e64a12f903bd64437bc9267f27dc2ba59b6ad5d5.tar.bz2 | |
gccrs: Respect the concrete type when resolving qualifed path types
Concrete types can resolve to assoicated impl blocks which will allow us to
resolve the path to the projection type instead of the placeholder trait
associated type which can change. The projection will be fixed and is
safer to use.
Fixes #2165 #2166
gcc/rust/ChangeLog:
* typecheck/rust-hir-trait-resolve.cc: when the bound is concrete keep the mapping
* typecheck/rust-hir-type-check-path.cc (TypeCheckExpr::visit): add missing call
* typecheck/rust-hir-type-check-type.cc (TypeCheckType::visit): make this the same as paths
gcc/testsuite/ChangeLog:
* rust/compile/issue-2165.rs: New test.
* rust/compile/issue-2166.rs: New test.
Signed-off-by: Philip Herron <herron.philip@googlemail.com>
Diffstat (limited to 'gcc/rust/Make-lang.in')
0 files changed, 0 insertions, 0 deletions