{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"switch_bb_idx:"}]}
        switch_bb_idx: BasicBlock,
        patch: &mut MirPatch<'tcx>,
        typing_env: ty::TypingEnv<'tcx>,