error[E0276]: impl has stricter requirements than trait --> $DIR/issue-14853.rs:12:15 | LL | fn yay(_: Option, thing: &[T]); | ----------------------------------------------- definition of `yay` from trait ... LL | fn yay(_:Option, thing: &[T]) { | ^^^ impl has extra requirement `T: Str` error: aborting due to 1 previous error For more information about this error, try `rustc --explain E0276`.