{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
        // even if their `ObligationCauseCode` isn't an `Expr*Obligation` kind.
        // other errors that have the same span and predicate can also get fixed,
        // This is important since if we adjust one span but not the other, then