// Error: composite predicate `[T; N]: Sized` references const parameter N, but the impl does not declare a same-named parameter
usebatch_impl::batch_impl;#[batch_impl(<T> ArrBad<T, 5> ())]traitArrBad<T, const N: usize>
where
[T; N]: Sized,
{}fnmain(){}