1 2 3 4 5
// error-pattern: mismatched types fn f(&&_x: int) {} fn g(_a: fn(+int)) {} fn main() { g(f); }