namespace;

// expect: type error: initializer: expected char*, got int
typecheck on;
fn main() { char* s = 5; return 0; }