namespace;

// expect: type error: return value: expected void, got int
typecheck on;
void f() { return 3; }
fn main() { f(); return 0; }