{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// We're proving an trait goal for a coinductive trait, either an auto trait or `Sized`.
    /// These are currently the only goals whose impl where-clauses are considered to be