diff options
| author | Florian Diebold <[email protected]> | 2021-03-13 19:38:11 +0000 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2021-03-13 19:38:45 +0000 |
| commit | c82d1823a1624f4990b1ebaba5b6173f15631381 (patch) | |
| tree | 6c59a0786f78cc5878ddb74a589f1d221d907137 /crates/hir_ty/src/db.rs | |
| parent | 17eeb2a6d2ea81b302b6707c63bf8fba489c2bdd (diff) | |
Create TraitEnvironment through a query
Diffstat (limited to 'crates/hir_ty/src/db.rs')
| -rw-r--r-- | crates/hir_ty/src/db.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/crates/hir_ty/src/db.rs b/crates/hir_ty/src/db.rs index 8a3cc0283..74a048672 100644 --- a/crates/hir_ty/src/db.rs +++ b/crates/hir_ty/src/db.rs | |||
| @@ -65,6 +65,9 @@ pub trait HirDatabase: DefDatabase + Upcast<dyn DefDatabase> { | |||
| 65 | #[salsa::invoke(crate::lower::generic_predicates_query)] | 65 | #[salsa::invoke(crate::lower::generic_predicates_query)] |
| 66 | fn generic_predicates(&self, def: GenericDefId) -> Arc<[Binders<GenericPredicate>]>; | 66 | fn generic_predicates(&self, def: GenericDefId) -> Arc<[Binders<GenericPredicate>]>; |
| 67 | 67 | ||
| 68 | #[salsa::invoke(crate::lower::trait_environment_query)] | ||
| 69 | fn trait_environment(&self, def: GenericDefId) -> Arc<crate::TraitEnvironment>; | ||
| 70 | |||
| 68 | #[salsa::invoke(crate::lower::generic_defaults_query)] | 71 | #[salsa::invoke(crate::lower::generic_defaults_query)] |
| 69 | fn generic_defaults(&self, def: GenericDefId) -> Arc<[Binders<Ty>]>; | 72 | fn generic_defaults(&self, def: GenericDefId) -> Arc<[Binders<Ty>]>; |
| 70 | 73 | ||