{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"WhereClause::Implemented(tr)"}]}
                WhereClause::Implemented(tr) => search(
                // FIXME: how to correctly handle higher-ranked bounds here?
                    tr.clone()