// error-pattern:mismatched types fn f() -> isize { true } fn main() { }