From 03cdb5236c50f43a16f916159a03a785aa14b024 Mon Sep 17 00:00:00 2001 From: Arthur Cohen Date: Tue, 8 Jul 2025 14:34:04 +0200 Subject: 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. --- gcc/testsuite/rust/compile/deferred_const_inference.rs | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 gcc/testsuite/rust/compile/deferred_const_inference.rs (limited to 'gcc/testsuite/rust') 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]; +} -- cgit v1.1