{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"match"}]}
    match pred {
    let (pred, binders) = pred.as_ref().into_value_and_skipped_binders();
        WhereClause::Implemented(trait_ref) => {