{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"///"}]}
    /// consider cycles to be coinductive if they 'step into' a where-clause
    /// See #136824 for a more detailed reasoning for this behavior. We
    /// of a coinductive trait. We will likely extend this function in the future