Rollup merge of #105405 - sunfishcode:sunfishcode/export-dynamic, r=TaKO8Ki

[rust.git] / src / test / ui / impl-trait / in-trait / foreign.rs

// check-pass
// aux-build: rpitit.rs

extern crate rpitit;

fn main() {
    // Witness an RPITIT from another crate
    let () = <rpitit::Foreign as rpitit::Foo>::bar();
}