{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"target_bb:"}]}
        target_bb: BasicBlock,
        targets: &SwitchTargets,
        state: &mut State<ConditionSet<'a>>,