{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"///"}]}
    /// If an opaque was already constrained before proving this goal, then the
    ///
    /// external constraints do not need to record that opaque, since if it is