{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"//"}]}
    // the `ObligationCause` corresponding to the *innermost* type,
    // an error that matches our expected predicate. We save
    // which is the most specific type that we can point to.