From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1643) id 7DB0B3852742; Wed, 8 Jun 2022 12:18:09 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 7DB0B3852742 Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Thomas Schwinge To: gcc-cvs@gcc.gnu.org Subject: [gcc/devel/rust/master] Merge #1008 #1009 X-Act-Checkin: gcc X-Git-Author: bors[bot] <26634292+bors[bot]@users.noreply.github.com> X-Git-Refname: refs/heads/devel/rust/master X-Git-Oldrev: dbe59a3198495c760c019369c9a272fb63059e51 X-Git-Newrev: 6e64e6636ef823ac97ad889b71bb792fbe510580 Message-Id: <20220608121809.7DB0B3852742@sourceware.org> Date: Wed, 8 Jun 2022 12:18:09 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 08 Jun 2022 12:18:09 -0000 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 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(-)