//@ run-pass
#![allow(dead_code)]
//@ pretty-expanded FIXME #23616
extern "C" fn f() {
}
pub fn main() {