namespace;

// expect: type error: return value: expected bool, got char*
typecheck on;
bool f() { return "no"; }
fn main() { return f(); }