main() { let x: u64; if (true) x = 3; return; } // check: ParserError