remove the DatabaseData and associated unsafe code

This commit is contained in:
Niko Matsakis 2020-06-30 15:57:41 +00:00
parent f7a14f2309
commit 07623fb962
6 changed files with 2 additions and 19 deletions

View file

@ -145,7 +145,6 @@ pub(crate) fn database(args: TokenStream, input: TokenStream) -> TokenStream {
impl salsa::plumbing::DatabaseStorageTypes for #database_name {
type DatabaseKey = __SalsaDatabaseKey;
type DatabaseStorage = __SalsaDatabaseStorage;
type DatabaseData = (#(#database_data),*);
}
});
// ANCHOR_END:DatabaseStorageTypes

View file

@ -383,7 +383,7 @@ pub(crate) fn query_group(args: TokenStream, input: TokenStream) -> TokenStream
// Unsafe proof obligation: that our key/value are a part
// of the `GroupData`.
unsafe impl<#db> salsa::Query<#db> for #qt
impl<#db> salsa::Query<#db> for #qt
where
DB: #trait_name + #requires,
DB: salsa::plumbing::HasQueryGroup<#group_struct>,