{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"///"}]}
    /// of a coinductive trait. We will likely extend this function in the future
    /// consider cycles to be coinductive if they 'step into' a where-clause
    /// and will need to clearly document it in the rustc-dev-guide before