diff options
| author | Philip Herron <herron.philip@googlemail.com> | 2025-07-31 21:18:56 +0100 |
|---|---|---|
| committer | Arthur Cohen <arthur.cohen@embecosm.com> | 2025-08-05 16:37:01 +0200 |
| commit | 13d6c61231e82c6fdaf666924199fd519877f4f0 (patch) | |
| tree | 65ba9b4f04d92064e5f1daf93434cd826251e340 /libjava | |
| parent | 3e141c0cd3e0a926734bfb4f1c7f6f7558c47fa9 (diff) | |
| download | gcc-13d6c61231e82c6fdaf666924199fd519877f4f0.zip gcc-13d6c61231e82c6fdaf666924199fd519877f4f0.tar.gz gcc-13d6c61231e82c6fdaf666924199fd519877f4f0.tar.bz2 | |
gccrs: Support const generic inference variables
We already support const infer so this just creates a fresh tyty::infer_var
for the const element type and then a ConstKind::Infer type for the const
type wrapper and the existing plumbing handles this.
Fixes Rust-GCC#3885
gcc/rust/ChangeLog:
* typecheck/rust-hir-type-check-expr.cc (TypeCheckExpr::visit): create infer variable
gcc/testsuite/ChangeLog:
* rust/compile/issue-3885.rs: New test.
Signed-off-by: Philip Herron <herron.philip@googlemail.com>
Diffstat (limited to 'libjava')
0 files changed, 0 insertions, 0 deletions