24 lines
592 B
Rust
24 lines
592 B
Rust
// Regression test for #72819: ICE due to failure in resolving the const generic in `Arr`'s type
|
|
// bounds.
|
|
//@ revisions: full min
|
|
#![cfg_attr(full, feature(generic_const_exprs))]
|
|
#![cfg_attr(full, allow(incomplete_features))]
|
|
|
|
struct Arr<const N: usize>
|
|
where Assert::<{N < usize::MAX / 2}>: IsTrue,
|
|
//[min]~^ ERROR generic parameters may not be used in const operations
|
|
{
|
|
}
|
|
|
|
enum Assert<const CHECK: bool> {}
|
|
|
|
trait IsTrue {}
|
|
|
|
impl IsTrue for Assert<true> {}
|
|
|
|
fn main() {
|
|
let x: Arr<{usize::MAX}> = Arr {};
|
|
//[full]~^ ERROR mismatched types
|
|
//[full]~| ERROR mismatched types
|
|
}
|