[gcc/devel/rust/master] Merge #912

[gcc/devel/rust/master] Merge #912

[Thomas Schwinge]

https://gcc.gnu.org/g:6d1ff568084ed86e6cf14e709fe6892256be824a

commit 6d1ff568084ed86e6cf14e709fe6892256be824a
Merge: 055ca34daa8 257bf558274
Author: bors[bot] <26634292+bors[bot]@users.noreply.github.com>
Date:   Tue Feb 8 17:56:41 2022 +0000

    Merge #912
    
    912: Handle generic substitution on path expressions r=philberty a=philberty
    
    In this bug the path expression failed to take Foo::<i32> and apply this
    bound generic argument into the impl block. The fn type for this function
    test is:
    
    fn <T,Y>test(a:T, b:Y);
    
    But the impl block has a Self of Foo<T> so we need to inherit the T
    argument from the previous Foo::<i32> which was missing.
    
    Fixes #893
    
    
    Co-authored-by: Philip Herron <philip.herron@embecosm.com>

Diff:

 gcc/rust/typecheck/rust-hir-type-check-path.cc    | 85 +++++++++++++++++------
 gcc/rust/typecheck/rust-substitution-mapper.cc    | 18 +++++
 gcc/rust/typecheck/rust-substitution-mapper.h     |  3 +
 gcc/rust/typecheck/rust-tyty.cc                   | 39 +++++++++++
 gcc/rust/typecheck/rust-tyty.h                    | 51 ++++++++++++++
 gcc/testsuite/rust/compile/torture/issue-893-2.rs | 35 ++++++++++
 gcc/testsuite/rust/compile/torture/issue-893.rs   | 11 +++
 7 files changed, 219 insertions(+), 23 deletions(-)