{"ast_node_type":"variable","tokens":[{"end":75,"kind":"keyword","start":0,"text":"if"}]}
                if let WhereClause::Implemented(tr) = pred.skip_binders() {
            for pred in ctx.lower_where_predicate(pred, false) {
                    traits_in_scope