{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"WhereClause::Implemented(trait_ref)"}]}
        WhereClause::Implemented(trait_ref) => {
    match predicate.skip_binders().skip_binders() {
            trait_ref.substitution.iter(Interner).skip(1).any(|arg| {