{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"{"}]}
        {
        if !impl2_predicates.iter().any(|pred2| trait_predicates_eq(clause.as_predicate(), *pred2))
            res = res.and(check_specialization_on(tcx, clause, span))