tests/ui/did_you_mean/replace-impl-infer-ty-from-trait.rs


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

//@ run-rustfix
#![allow(unused)]

trait Foo<T>: Sized {
    fn bar(i: i32, t: T, s: &Self) -> (T, i32);
}

impl Foo<usize> for () {
    fn bar(i: _, t: _, s: _) -> _ {
        //~^ ERROR the placeholder `_` is not allowed within types on item signatures for associated functions
        //~| ERROR type annotations needed
        (1, 2)
    }
}

fn main() {}