{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"Obligation::misc(tcx,"}]}
            Obligation::misc(tcx, span, self.mir_def_id(), self.infcx.param_env, pred)
            trace!(?pred);
        }));