diff options
| author | Florian Diebold <[email protected]> | 2020-02-02 16:11:54 +0000 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2020-02-07 17:28:10 +0000 |
| commit | a3d8cffde39bfb0d50b87a8ded5e0534adec4cd5 (patch) | |
| tree | 3be5406b38c2594808c87d9dbecf7aa14b52b67d /crates/ra_hir_ty/src/db.rs | |
| parent | 86348f5994cdc3831edf3a5582d6d9d576fd1d80 (diff) | |
Use variables in predicates as well
Diffstat (limited to 'crates/ra_hir_ty/src/db.rs')
| -rw-r--r-- | crates/ra_hir_ty/src/db.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/crates/ra_hir_ty/src/db.rs b/crates/ra_hir_ty/src/db.rs index 7684ade06..21ab22fa9 100644 --- a/crates/ra_hir_ty/src/db.rs +++ b/crates/ra_hir_ty/src/db.rs | |||
| @@ -50,10 +50,10 @@ pub trait HirDatabase: DefDatabase { | |||
| 50 | fn generic_predicates_for_param( | 50 | fn generic_predicates_for_param( |
| 51 | &self, | 51 | &self, |
| 52 | param_id: TypeParamId, | 52 | param_id: TypeParamId, |
| 53 | ) -> Arc<[GenericPredicate]>; | 53 | ) -> Arc<[Binders<GenericPredicate>]>; |
| 54 | 54 | ||
| 55 | #[salsa::invoke(crate::lower::generic_predicates_query)] | 55 | #[salsa::invoke(crate::lower::generic_predicates_query)] |
| 56 | fn generic_predicates(&self, def: GenericDefId) -> Arc<[GenericPredicate]>; | 56 | fn generic_predicates(&self, def: GenericDefId) -> Arc<[Binders<GenericPredicate>]>; |
| 57 | 57 | ||
| 58 | #[salsa::invoke(crate::lower::generic_defaults_query)] | 58 | #[salsa::invoke(crate::lower::generic_defaults_query)] |
| 59 | fn generic_defaults(&self, def: GenericDefId) -> Substs; | 59 | fn generic_defaults(&self, def: GenericDefId) -> Substs; |