main() { let x: u64; if (true) { return; } else { return; } x = 7; } // check: VerificationError // check: InvalidFallThrough