diff options
| author | Arthur Cohen <arthur.cohen@embecosm.com> | 2025-07-08 14:34:04 +0200 |
|---|---|---|
| committer | Arthur Cohen <arthur.cohen@embecosm.com> | 2025-08-05 16:36:57 +0200 |
| commit | 03cdb5236c50f43a16f916159a03a785aa14b024 (patch) | |
| tree | 598db60dcee65e3dcef573c3723c04856ace88a6 /gcc/testsuite/rust | |
| parent | 796f8f694415245016e398a59773d4cb8db35479 (diff) | |
| download | gcc-03cdb5236c50f43a16f916159a03a785aa14b024.zip gcc-03cdb5236c50f43a16f916159a03a785aa14b024.tar.gz gcc-03cdb5236c50f43a16f916159a03a785aa14b024.tar.bz2 | |
gccrs: hir: Handle deferred const inference variables
gcc/rust/ChangeLog:
* hir/rust-ast-lower-expr.cc (ASTLoweringExpr::visit): Handle defered consts.
* hir/tree/rust-hir-expr.cc (AnonConst::AnonConst): Likewise.
(AnonConst::operator=): Likewise.
* hir/tree/rust-hir-expr.h: Likewise.
* hir/tree/rust-hir-visitor.cc (DefaultHIRVisitor::walk): Likewise.
* typecheck/rust-hir-type-check-expr.cc (TypeCheckExpr::visit): Likewise.
gcc/testsuite/ChangeLog:
* rust/compile/deferred_const_inference.rs: New test.
Diffstat (limited to 'gcc/testsuite/rust')
| -rw-r--r-- | gcc/testsuite/rust/compile/deferred_const_inference.rs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/testsuite/rust/compile/deferred_const_inference.rs b/gcc/testsuite/rust/compile/deferred_const_inference.rs new file mode 100644 index 0000000..25a3b17 --- /dev/null +++ b/gcc/testsuite/rust/compile/deferred_const_inference.rs @@ -0,0 +1,7 @@ +// { dg-additional-options "-frust-compile-until=typecheck" } + +// #![feature(generic_arg_infer)] + +fn main() { + let a: [u32; _] = [15u32]; +} |