{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"match"}]}
                match (lhs.skip_binders(), rhs.skip_binders()) {
                use std::cmp::Ordering;
                    (WhereClause::Implemented(lhs), WhereClause::Implemented(rhs)) => {