| #![feature(generic_const_exprs)] | |
| // library portion of regression test for #87674 | |
| pub struct Foo<const N: usize>([(); N + 1]) | |
| where | |
| [(); N + 1]: ; | |
| // library portion of regression test for #87603 | |
| pub struct S<T: Copy + Default, const N: usize> | |
| where | |
| [T; N * 2]: Sized, | |
| { | |
| pub s: [T; N * 2], | |
| } | |
| impl<T: Default + Copy, const N: usize> S<T, N> | |
| where | |
| [T; N * 2]: Sized, | |
| { | |
| pub fn test() -> Self { | |
| S { s: [T::default(); N * 2] } | |
| } | |
| } |