//@ run-pass
// Regression test for issue #762
//@ pretty-expanded FIXME #23616
pub fn f() { }
pub fn main() { return ::f(); }