dd0507c054
`TooGeneric` is encountered during WF checking when we cannot determine that a constant involving a generic parameter will always be evaluated successfully (rather than resulting in an error). In these cases, the burden of proof should be with the caller, so that we can avoid post-monomorphisation tim errors (which was the previous previous behaviour). This commit ensures that this situation produces a proper compiler error, rather than silently ignoring it or ICEing.
22 lines
575 B
Rust
22 lines
575 B
Rust
#![feature(const_generics)]
|
|
//~^ WARN the feature `const_generics` is incomplete and may cause the compiler to crash
|
|
|
|
#[allow(dead_code)]
|
|
struct ArithArrayLen<const N: usize>([u32; 0 + N]);
|
|
//~^ ERROR constant expression depends on a generic parameter
|
|
|
|
#[derive(PartialEq, Eq)]
|
|
struct Config {
|
|
arr_size: usize,
|
|
}
|
|
|
|
struct B<const CFG: Config> {
|
|
arr: [u8; CFG.arr_size], //~ ERROR constant expression depends on a generic parameter
|
|
}
|
|
|
|
const C: Config = Config { arr_size: 5 };
|
|
|
|
fn main() {
|
|
let b = B::<C> { arr: [1, 2, 3, 4, 5] };
|
|
assert_eq!(b.arr.len(), 5);
|
|
}
|