{"ast_node_type":"other","tokens":[{"end":6,"kind":"keyword","start":0,"text":"};"}]}
    };
        None => db.trait_impls_in_crate(module.krate()),
    impls.for_trait_and_self_ty(drop_trait, TyFingerprint::Adt(adt)).next().is_some()