{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"(1,"}]}
        (1, true) => TerminatorKind::Unreachable,
        // If all targets are unreachable, we can be unreachable as well.
        (1, false) => TerminatorKind::Goto { target: otherwise },