src/test/ui/const-generics/const-param-type-depends-on-type-param-ungated.rs

   1 // compile-flags: -Zsave-analysis
   2 // Regression test for #69414 ^
   3
   4 use std::marker::PhantomData;
   5
   6 struct B<T, const N: T>(PhantomData<[T; N]>);
   7 //~^ ERROR the type of const parameters must not depend on other generic parameters
   8
   9 fn main() {}