tests/ui/impl-trait/in-trait/foreign-dyn-error.rs

//@ aux-build: rpitit.rs

extern crate rpitit;

fn main() {
    let _: &dyn rpitit::Foo = todo!();
    //~^ ERROR the trait `Foo` is not dyn compatible
}