mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-23 15:23:46 +00:00
10 lines
173 B
Rust
10 lines
173 B
Rust
// check-pass
|
|
// aux-build: rpitit.rs
|
|
|
|
extern crate rpitit;
|
|
|
|
fn main() {
|
|
// Witness an RPITIT from another crate
|
|
let () = <rpitit::Foreign as rpitit::Foo>::bar();
|
|
}
|