{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"///"}]}
    /// constraints in our `InferCtxt`
    /// we saved to help extract an error from the already-existing region
    type ErrorInfo = InstantiateOpaqueType<'tcx>;