2 fn takes_str(_x: &str) {}
4 fn takes_type_parameter<T>(_x: T) where T: SomeTrait {}
7 impl SomeTrait for &'_ str {}
8 impl SomeTrait for char {}
11 let string = String::new();
12 takes_str(&string); // Ok
13 takes_type_parameter(&*string); // Error
14 //~^ ERROR the trait bound `&String: SomeTrait` is not satisfied