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