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 /gcc/rust | |
| 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>
Diffstat (limited to 'gcc/rust')
| -rw-r--r-- | gcc/rust/typecheck/rust-hir-type-check-stmt.cc | 2 |
1 files changed, 1 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 ()), |