{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"(WhereClause::Implemented(lhs),"}]}
                    (WhereClause::Implemented(lhs), WhereClause::Implemented(rhs)) => {
                match (lhs.skip_binders(), rhs.skip_binders()) {
                        let lhs_id = lhs.trait_id;