[gcc/devel/rust/master] Merge #1008 #1009

[gcc/devel/rust/master] Merge #1008 #1009

[Thomas Schwinge]

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

commit 6e64e6636ef823ac97ad889b71bb792fbe510580
Merge: dbe59a31984 a1b065050ba 894e9d29ada
Author: bors[bot] <26634292+bors[bot]@users.noreply.github.com>
Date:   Fri Mar 11 10:39:24 2022 +0000

    Merge #1008 #1009
    
    1008: Add const_ptr lang item mappings r=philberty a=philberty
    
    In order to support slices, we need to be able to parse and contain
    mappings for the const_ptr lang item. We do not need to do any
    special handling of this lang item yet but this adds the mappings
    so when we hit it we do not output an unknown lang item error.
    
    Addresses #849
    
    1009: Add missing type resolution to slices and arrays r=philberty a=philberty
    
    This adds in the missing type resolution for slices and generic slices
    and arrays. Since Arrays and Slices are both covariant types just like
    references and pointers for example they need to handle recursive
    substitutions where their element type might be a generic type
    that can bind substitution parameters such as functions and ADT's.
    
    Addresses #849
    
    Co-authored-by: Philip Herron <philip.herron@embecosm.com>

Diff:

 gcc/rust/hir/tree/rust-hir-type.h              |  2 ++
 gcc/rust/typecheck/rust-hir-type-check-type.cc | 10 ++++++++
 gcc/rust/typecheck/rust-hir-type-check-type.h  |  6 +++--
 gcc/rust/typecheck/rust-substitution-mapper.h  | 12 ++++++++--
 gcc/rust/typecheck/rust-tyty.cc                | 32 ++++++++++++++++++++++++++
 gcc/rust/typecheck/rust-tyty.h                 |  4 ++++
 gcc/rust/util/rust-lang-item.h                 |  9 ++++++++
 7 files changed, 71 insertions(+), 4 deletions(-)