{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":".iter()"}]}
            .iter()
        let preds: Vec<_> = errors
            .filter_map(|e| match e.obligation.predicate.kind().skip_binder() {