9 lines
147 B
Rust
9 lines
147 B
Rust
//@ compile-flags: -Znext-solver
|
|
//@ check-pass
|
|
|
|
fn has_default<const N: usize>() where [(); N]: Default {}
|
|
|
|
fn main() {
|
|
has_default::<1>();
|
|
}
|