1 2 3 4 5 6 7 8 9 10 11
// 错误:复合谓词 `[T; N]: Sized` 引用 const 形参 N,impl 未声明同名参数 use batch_impl::batch_impl; #[batch_impl(<T> ArrBad<T, 5> ())] trait ArrBad<T, const N: usize> where [T; N]: Sized, { } fn main() {}