tests/ui/const-generics/issues/issue-98629.rs

#![feature(const_trait_impl)]

const trait Trait {
    const N: usize;
}

impl const Trait for i32 {}
//~^ ERROR not all trait items implemented, missing: `N`

fn f()
where
    [(); <i32 as Trait>::N]:,
{}

fn main() {}