From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1643) id 96E033850211; Mon, 12 Sep 2022 07:20:33 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 96E033850211 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1662967233; bh=Be7bhclwHDHAQ979Ofz9G5X4oS2ZKanCU0GkpPButGw=; h=From:To:Subject:Date:From; b=jmxhFHk4QqlNfeya7Vgt91Bu4iTsR9onh93ob5+7PafcKUxw7W4Of1aUbpURC29m6 xBjBYMKtSya8M1eN3r17V0r4+fTBMWLIcIeEhY7Y1GNgyqC0pmjrKyVVohxI7dFPEG 6xXYNUk9BMMSrrFP7JyIC2bsNbWibou2AXMFrt+U= 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] bugfix: initialize slice from array in const context X-Act-Checkin: gcc X-Git-Author: Faisal Abbas <90.abbasfaisal@gmail.com> X-Git-Refname: refs/heads/devel/rust/master X-Git-Oldrev: 4f0a2729d78d77f14140531ca809d1c45311f0c9 X-Git-Newrev: a4f07c8391287c4cc95900f86e16b0f667396f36 Message-Id: <20220912072033.96E033850211@sourceware.org> Date: Mon, 12 Sep 2022 07:20:33 +0000 (GMT) List-Id: https://gcc.gnu.org/g:a4f07c8391287c4cc95900f86e16b0f667396f36 commit a4f07c8391287c4cc95900f86e16b0f667396f36 Author: Faisal Abbas <90.abbasfaisal@gmail.com> Date: Sun Sep 4 16:07:43 2022 +0100 bugfix: initialize slice from array in const context Diff: --- gcc/rust/typecheck/rust-hir-type-check-stmt.cc | 2 +- gcc/testsuite/rust/compile/const6.rs | 4 ++++ 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/gcc/rust/typecheck/rust-hir-type-check-stmt.cc b/gcc/rust/typecheck/rust-hir-type-check-stmt.cc index 48db1fd61cf..ce8d97b2ecf 100644 --- a/gcc/rust/typecheck/rust-hir-type-check-stmt.cc +++ b/gcc/rust/typecheck/rust-hir-type-check-stmt.cc @@ -68,7 +68,7 @@ TypeCheckStmt::visit (HIR::ConstantItem &constant) TyTy::BaseType *type = TypeCheckType::Resolve (constant.get_type ()); TyTy::BaseType *expr_type = TypeCheckExpr::Resolve (constant.get_expr ()); - infered = unify_site ( + infered = coercion_site ( constant.get_mappings ().get_hirid (), TyTy::TyWithLocation (type, constant.get_type ()->get_locus ()), TyTy::TyWithLocation (expr_type, constant.get_expr ()->get_locus ()), diff --git a/gcc/testsuite/rust/compile/const6.rs b/gcc/testsuite/rust/compile/const6.rs new file mode 100644 index 00000000000..8f0dc320129 --- /dev/null +++ b/gcc/testsuite/rust/compile/const6.rs @@ -0,0 +1,4 @@ +fn main() { + const array:[i32; 1] = [1]; + const slice:&[i32] = &array; +}