1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
struct Foo<T, const N: usize> { array: [T; N], } trait Bar<const N: usize> {} impl<T, const N: usize> Foo<T, N> { fn trigger(self) { self.unsatisfied() //~^ ERROR the trait bound `T: Bar<N>` is not satisfied } fn unsatisfied(self) where T: Bar<N>, { } } fn main() {}