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

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

[Thomas Schwinge]

https://gcc.gnu.org/g:e28c43f2f40cf405e89b3892aa65f6a06fa1c802

commit e28c43f2f40cf405e89b3892aa65f6a06fa1c802
Merge: 161a690d210 7604b6430cf
Author: bors[bot] <26634292+bors[bot]@users.noreply.github.com>
Date:   Wed Oct 27 15:12:05 2021 +0000

    Merge #771
    
    771: Add higher ranked trait bounds r=philberty a=philberty
    
    This adds support for where clauses and higher ranked trait bounds more test cases are needed
    since where clauses are supported on associated types, impls, ADT's etc. See the individual
    commits for more detail on implementation.
    
    Fixes #773 #442
    
    Co-authored-by: Philip Herron <philip.herron@embecosm.com>

Diff:

 gcc/rust/ast/rust-item.h                          | 119 ++++++++--------------
 gcc/rust/hir/rust-ast-lower-item.h                |  72 ++++++++++++-
 gcc/rust/hir/rust-ast-lower-type.h                |  72 ++++++++++++-
 gcc/rust/hir/tree/rust-hir-item.h                 | 106 +++++++++++++------
 gcc/rust/parse/rust-parse-impl.h                  |   5 +-
 gcc/rust/resolve/rust-ast-resolve-item.h          |  48 ++++++++-
 gcc/rust/resolve/rust-ast-resolve-type.h          |  30 ++++++
 gcc/rust/typecheck/rust-hir-type-check-implitem.h |  10 ++
 gcc/rust/typecheck/rust-hir-type-check-toplevel.h |  31 ++++++
 gcc/rust/typecheck/rust-hir-type-check-type.h     | 105 +++++++++++++++++++
 gcc/rust/typecheck/rust-tyty.h                    |   2 +-
 gcc/testsuite/rust/compile/torture/traits10.rs    |   5 +-
 gcc/testsuite/rust/compile/torture/traits18.rs    |   8 ++
 gcc/testsuite/rust/execute/torture/trait11.rs     |  41 ++++++++
 14 files changed, 531 insertions(+), 123 deletions(-)