{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"block:"}]}
        block: &'a BasicBlockData<'tcx>,
        instance: Instance<'tcx>,
    ) -> Option<(u128, &'a SwitchTargets)> {