{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":".filter(|wc|"}]}
                                .filter(|wc| match wc.skip_binders() {
                                .map(|pred| pred.clone().substitute(Interner, &substs))
                                    WhereClause::Implemented(tr) => {