//@ run-pass
//@ pretty-expanded FIXME #23616

extern "Rust" fn main() {}