{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"self.obligations.extend(preds.into_iter().map(|pred|"}]}
        self.obligations.extend(preds.into_iter().map(|pred| {
    ) {
            Obligation::new(self.infcx.tcx, self.trace.cause.clone(), self.param_env, pred)