rustc 1.88.0-nightly (e2014e876 2025-04-01)
binary: rustc
commit-hash: e2014e876e3efaa69bf51c19579adb16c3df5f81
commit-date: 2025-04-01
host: x86_64-pc-windows-msvc
release: 1.88.0-nightly
LLVM version: 20.1.1
error: overly complex generic constant
--> ./ttt/test.rs:183:15
|
183 | arr: [u8; N.arr],
| ^^^^^ field access is not supported in generic constants
|
= help: consider moving this anonymous constant into a `const` function
= note: this operation may be supported in the future
error: `A` is forbidden as the type of a const generic parameter
--> ./ttt/test.rs:181:19
|
181 | struct B<const N: A> {
| ^
|
= note: the only supported types are integers, `bool`, and `char`
help: add `#![feature(adt_const_params)]` to the crate attributes to enable more complex and user defined types
|
177 + #![feature(adt_const_params)]
|
error[E0063]: missing fields `a` and `arr` in initializer of `B<C>`
--> ./ttt/test.rs:189:13
|
189 | let b = B::<C> {};
| ^^^^^^ missing `a` and `arr`
error: the constant `C` is not of type `A`
--> ./ttt/test.rs:189:17
|
189 | let b = B::<C> {};
| ^ expected `A`, found `Struct`
|
note: required by a const generic parameter in `B`
--> ./ttt/test.rs:181:10
|
181 | struct B<const N: A> {
| ^^^^^^^^^^ required by this const generic parameter in `B`
error: internal compiler error: compiler\rustc_const_eval\src\interpret\operand.rs:416:18: invalid field access on immediate {transmute(0x0000002a): A} at offset 0, original layout TyAndLayout {
ty: A,
layout: Layout {
size: Size(16 bytes),
align: AbiAndPrefAlign {
abi: Align(8 bytes),
pref: Align(8 bytes),
},
backend_repr: ScalarPair(
Initialized {
value: Int(
I64,
false,
),
valid_range: 0..=18446744073709551615,
},
Initialized {
value: Int(
I32,
true,
),
valid_range: 0..=4294967295,
},
),
fields: Arbitrary {
offsets: [
Size(0 bytes),
Size(8 bytes),
],
memory_index: [
0,
1,
],
},
largest_niche: None,
uninhabited: false,
variants: Single {
index: 0,
},
max_repr_align: None,
unadjusted_abi_align: Align(8 bytes),
randomization_seed: 2541587965537135706,
},
}
Similar to #139258 code, except that there is an extra 'a:i32' in struct A, B
And the Bug Trace is different, so I report this issue
Code
Meta
rustc --version --verbose:Error output
Backtrace