tests/ui/async-await/inference_var_self_argument.rs


1
2
3
4
5
6
7
8
9
10
11
12

//! This is a regression test for an ICE.
//@ edition: 2021

trait Foo {
    async fn foo(self: &dyn Foo) {
        //~^ ERROR: `Foo` is not dyn compatible
        //~| ERROR invalid `self` parameter type: `&dyn Foo`
        todo!()
    }
}

fn main() {}