[gcc/devel/rust/master] Merge #1292 #1293

[gcc/devel/rust/master] Merge #1292 #1293

[Thomas Schwinge]

https://gcc.gnu.org/g:664bd46f4cfff6e1864b674d6ec6a10b2985104c

commit 664bd46f4cfff6e1864b674d6ec6a10b2985104c
Merge: a71fa22c4dc 92f9eb46ec0 91b16af14cb
Author: bors[bot] <26634292+bors[bot]@users.noreply.github.com>
Date:   Fri Jun 3 09:00:14 2022 +0000

    Merge #1292 #1293
    
    1292: Add name resolution to for loops r=philberty a=philberty
    
    This just adds basic name resolution and hir lowering for
    the loop. Eventually we will make all Loops into a single
    HIR::LoopExpr but for now its really useful having a separate
    visitor to implement this to avoid regressions in the short
    term.
    
    Addresses #869
    
    1293: Fixup name canonicalization for impl blocks r=philberty a=philberty
    
    When we generate the path for impl items we need to base this of the Self
    type but this was ignoring cases like pointers, references or slices. This
    meant generic slices had the same path has generic pointers etc. The only
    reason we didn't end up with a linker symbol clash is due to the symbol
    hash.
    
    
    Co-authored-by: Philip Herron <philip.herron@embecosm.com>

Diff:

 gcc/rust/hir/rust-ast-lower-block.h       |  2 ++
 gcc/rust/hir/rust-ast-lower-expr.h        |  5 ++++
 gcc/rust/hir/rust-ast-lower.cc            | 26 ++++++++++++++++
 gcc/rust/resolve/rust-ast-resolve-expr.cc | 47 +++++++++++++++++++++++++++++
 gcc/rust/resolve/rust-ast-resolve-expr.h  |  2 ++
 gcc/rust/resolve/rust-ast-resolve-item.cc |  2 ++
 gcc/rust/resolve/rust-ast-resolve-type.cc | 49 ++++++++++++++++++++-----------
 gcc/rust/resolve/rust-ast-resolve-type.h  |  7 +----
 8 files changed, 117 insertions(+), 23 deletions(-)