tests/ui/impl-trait/in-trait/dont-probe-missing-item-name-4.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

trait ServerFn {
    type Output;
    fn run_body() -> impl Sized;
}
struct MyServerFn {}

macro_rules! f {
    () => {
        impl ServerFn for MyServerFn {
            type Output = ();
            fn run_body() -> impl Sized {}
        }
    };
}

f! {}

fn problem<T: ServerFn<Output = i64>>(_: T) {}

fn main() {
    problem(MyServerFn {});
    //~^ ERROR type mismatch resolving `<MyServerFn as ServerFn>::Output == i64`
}