tests/ui/traits/next-solver/array-default.rs


1
2
3
4
5
6
7
8

// compile-flags: -Znext-solver
// check-pass

fn has_default<const N: usize>() where [(); N]: Default {}

fn main() {
    has_default::<1>();
}