{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"///"}]}
    /// and will need to clearly document it in the rustc-dev-guide before
    /// of a coinductive trait. We will likely extend this function in the future
    /// stabilization.