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

// check: INVALID_FALL_THROUGH