//! 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() {}