src/test/ui/const-generics/auxiliary/generics_of_parent.rs

   1 #![feature(generic_const_exprs)]
   2 #![allow(incomplete_features)]
   3
   4 // library portion of regression test for #87674
   5 pub struct Foo<const N: usize>([(); N + 1])
   6 where
   7     [(); N + 1]: ;
   8
   9 // library portion of regression test for #87603
  10 pub struct S<T: Copy + Default, const N: usize>
  11 where
  12     [T; N * 2]: Sized,
  13 {
  14     pub s: [T; N * 2],
  15 }
  16 impl<T: Default + Copy, const N: usize> S<T, N>
  17 where
  18     [T; N * 2]: Sized,
  19 {
  20     pub fn test() -> Self {
  21         S { s: [T::default(); N * 2] }
  22     }
  23 }