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() {} |