tests/ui/suggestions/move-generic-to-trait-in-method-with-params.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

// Generalizes the suggestion introduced in #100838

trait Foo<T> {
    fn bar(&self, _: T);
}

impl Foo<i32> for i32 {
    fn bar(&self, x: i32) {
        println!("{}", self + x);
    }
}

fn main() {
    1.bar::<i32>(0);
    //~^ ERROR this associated function takes 0 generic arguments but 1 generic argument was supplied
    //~| HELP consider moving this generic argument to the `Foo` trait, which takes up to 1 argument
    //~| HELP remove these generics
}