syntax_data: {"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:                     // Once we get to the final, "otherwise" branch, there is no need to preserve
context_after:                     // `exit_state`, so pass it directly to `apply_switch_int_edge_effect` to save