{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"///"}]}
        /// [`Terminator::successors`].
        /// Like [`SwitchTargets::target_for_value`], but returning the same type as
        #[inline]