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

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

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

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