{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"//"}]}
    // an error that matches our expected predicate. We save
    // For each type, we perform a well-formed check, and see if we get
    // the `ObligationCause` corresponding to the *innermost* type,