warning[W09005]: dead or unreachable code
  ┌─ tests/move_check/translated_ir_tests/move/commands/invalid_fallthrough3.move:5:3
  │
5 │   x = 7;
  │   ^^^^^ Unreachable code. This statement (and any following statements) will not be executed.