{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"bbs:"}]}
        bbs: &IndexSlice<BasicBlock, BasicBlockData<'tcx>>,
        typing_env: ty::TypingEnv<'tcx>,
        discr_ty: Ty<'tcx>,