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