script {
fun main() {
  let x: u64;
  if (true) return () else return ();
  x = 7;
}
}

// check: INVALID_FALL_THROUGH