blob: 406caaa007fdc9c8effbf07e5a652323a0e41fb6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
// run-rustfix
fn takes_str(_x: &str) {}
fn takes_type_parameter<T>(_x: T) where T: SomeTrait {}
trait SomeTrait {}
impl SomeTrait for &'_ str {}
impl SomeTrait for char {}
fn main() {
let string = String::new();
takes_str(&string); // Ok
takes_type_parameter(&*string); // Error
//~^ ERROR the trait bound `&String: SomeTrait` is not satisfied
}
|