// run-pass
#![allow(dead_code)]
// pretty-expanded FIXME #23616

extern "C" fn f() {
}

pub fn main() {
}