src/test/ui/const-generics/issues/issue-69654-run-pass.rs

   1 // run-pass
   2 trait Bar<T> {}
   3 impl<T> Bar<T> for [u8; 7] {}
   4
   5 struct Foo<const N: usize> {}
   6 impl<const N: usize> Foo<N>
   7 where
   8     [u8; N]: Bar<[(); N]>,
   9 {
  10     fn foo() {}
  11 }
  12
  13 fn main() {
  14     Foo::foo();
  15 }