tests/ui/const-generics/const-param-type-depends-on-parent-param.rs

#![feature(adt_const_params)]

trait Trait<const N: usize> {
    fn foo<const M: [u8; N]>() {}
    //~^ ERROR the type of const parameters must not depend on other generic parameters
}

fn main() {}