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

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

[Thomas Schwinge]

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

commit cb42c3674a5a9ab77cb0c1216a1b776c323037e2
Merge: fc22f12c9c7 dd9e4c1e0ca
Author: bors[bot] <26634292+bors[bot]@users.noreply.github.com>
Date:   Thu Apr 21 17:24:27 2022 +0000

    Merge #1144
    
    1144: Add name and type resolution support TuplePatterns in MatchArms r=philberty a=philberty
    
    This adds support for the name and type resolution of match expressions. The code generation
    and checks for all cases possible cases needs more thought so this will be done as part of a
    separate PR.
    
    Addresses #1081
    
    Co-authored-by: Philip Herron <philip.herron@embecosm.com>

Diff:

 gcc/rust/ast/rust-ast-full-test.cc                |   7 +-
 gcc/rust/ast/rust-pattern.h                       |  42 ++++--
 gcc/rust/ast/rust-stmt.h                          |  17 ++-
 gcc/rust/hir/rust-ast-lower-base.cc               |  75 ++++++++++
 gcc/rust/hir/rust-ast-lower-base.h                |   8 +
 gcc/rust/hir/rust-ast-lower-expr.h                |  36 +----
 gcc/rust/hir/rust-ast-lower-pattern.cc            |  45 ++++++
 gcc/rust/hir/rust-ast-lower-pattern.h             |   4 +
 gcc/rust/hir/tree/rust-hir-expr.h                 |   4 +-
 gcc/rust/hir/tree/rust-hir-full-test.cc           |   9 +-
 gcc/rust/hir/tree/rust-hir-pattern.h              |  41 +++++-
 gcc/rust/parse/rust-parse-impl.h                  |  32 +++-
 gcc/rust/resolve/rust-ast-resolve-pattern.cc      |  30 ++++
 gcc/rust/resolve/rust-ast-resolve-pattern.h       |   2 +
 gcc/rust/typecheck/rust-hir-type-check-base.cc    | 172 ++++++++++++++++++++++
 gcc/rust/typecheck/rust-hir-type-check-base.h     |   3 +
 gcc/rust/typecheck/rust-hir-type-check-enumitem.h |   6 +-
 gcc/rust/typecheck/rust-hir-type-check-expr.h     | 170 +--------------------
 gcc/rust/typecheck/rust-hir-type-check-pattern.cc |  41 ++++++
 gcc/rust/typecheck/rust-hir-type-check-pattern.h  |  10 +-
 20 files changed, 507 insertions(+), 247 deletions(-)