diff options
| author | Faisal Abbas <90.abbasfaisal@gmail.com> | 2022-09-04 16:07:43 +0100 |
|---|---|---|
| committer | Arthur Cohen <arthur.cohen@embecosm.com> | 2023-01-31 14:16:51 +0100 |
| commit | 689a5c6711b8217158988763ba25959f8112dcfc (patch) | |
| tree | 6cae8a422e90284bcc28b57cd300f3f0a363c9f6 | |
| parent | 0fffc0e772d612d5c6ad72a632ac80b43eca1950 (diff) | |
| download | gcc-689a5c6711b8217158988763ba25959f8112dcfc.zip gcc-689a5c6711b8217158988763ba25959f8112dcfc.tar.gz gcc-689a5c6711b8217158988763ba25959f8112dcfc.tar.bz2 | |
gccrs: bugfix: initialize slice from array in const context
gcc/rust/ChangeLog:
* typecheck/rust-hir-type-check-stmt.cc (TypeCheckStmt::visit): Turn
constant item typechecking into a coercion site instead of a unify
site.
gcc/testsuite/ChangeLog:
* rust/compile/const6.rs: New test.
Signed-off-by: Faisal Abbas <90.abbasfaisal@gmail.com>
| -rw-r--r-- | gcc/rust/typecheck/rust-hir-type-check-stmt.cc | 2 | ||||
| -rw-r--r-- | gcc/testsuite/rust/compile/const6.rs | 4 |
2 files changed, 5 insertions, 1 deletions
diff --git a/gcc/rust/typecheck/rust-hir-type-check-stmt.cc b/gcc/rust/typecheck/rust-hir-type-check-stmt.cc index e82dd8e..a55cf22 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 0000000..8f0dc32 --- /dev/null +++ b/gcc/testsuite/rust/compile/const6.rs @@ -0,0 +1,4 @@ +fn main() { + const array:[i32; 1] = [1]; + const slice:&[i32] = &array; +} |