{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"autoderef_method_receiver.iter().any(|&(krate,"}]}
                autoderef_method_receiver.iter().any(|&(krate, fingerprint)| {
            let definitions_exist_in_receiver_crate = || {
                    db.trait_impls_in_crate(krate)