src/test/ui/traits/suggest-deferences/issue-62530.rs


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
}