{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"for"}]}
    for (clause, span) in impl1_predicates {
    let mut res = Ok(());
        if !impl2_predicates.iter().any(|pred2| trait_predicates_eq(clause.as_predicate(), *pred2))