// run-pass
// Regression test for issue #762

// pretty-expanded FIXME #23616

pub fn f() { }
pub fn main() { return ::f(); }