#![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] } | |
} | |
} |