error[E0277]: the trait bound `T: Bar` is not satisfied --> $DIR/ct-var-in-collect_all_mismatches.rs:9:14 | LL | self.unsatisfied() | ^^^^^^^^^^^ the trait `Bar` is not implemented for `T` | note: required by a bound in `Foo::::unsatisfied` --> $DIR/ct-var-in-collect_all_mismatches.rs:15:12 | LL | fn unsatisfied(self) | ----------- required by a bound in this LL | where LL | T: Bar, | ^^^^^^ required by this bound in `Foo::::unsatisfied` help: consider restricting type parameter `T` | LL | impl, const N: usize> Foo { | ++++++++ error: aborting due to previous error For more information about this error, try `rustc --explain E0277`.