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

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