1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
use std::fmt::Debug; trait Str {} trait Something: Sized { fn yay<T: Debug>(_: Option<Self>, thing: &[T]); } struct X { data: u32 } impl Something for X { fn yay<T: Str>(_:Option<X>, thing: &[T]) { //~^ ERROR E0276 } } fn main() { let arr = &["one", "two", "three"]; println!("{:?}", Something::yay(None::<X>, arr)); }