diff options
| author | Florian Diebold <[email protected]> | 2021-04-11 10:20:45 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2021-05-21 16:48:33 +0100 |
| commit | 84074cb1852aa702e1307e9533e1fa3448e3e04f (patch) | |
| tree | 87e1ba3ee0745bf10ab2de86714616e80972f024 /crates/hir_ty/src/db.rs | |
| parent | eb08a27f1bd31cc15db4893dded60663effaf3f9 (diff) | |
Remove our unification code, use Chalk's instead
Diffstat (limited to 'crates/hir_ty/src/db.rs')
| -rw-r--r-- | crates/hir_ty/src/db.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/crates/hir_ty/src/db.rs b/crates/hir_ty/src/db.rs index 9da0a02e3..f773aa621 100644 --- a/crates/hir_ty/src/db.rs +++ b/crates/hir_ty/src/db.rs | |||
| @@ -117,10 +117,10 @@ pub trait HirDatabase: DefDatabase + Upcast<dyn DefDatabase> { | |||
| 117 | fn fn_def_datum(&self, krate: CrateId, fn_def_id: FnDefId) -> Arc<chalk_db::FnDefDatum>; | 117 | fn fn_def_datum(&self, krate: CrateId, fn_def_id: FnDefId) -> Arc<chalk_db::FnDefDatum>; |
| 118 | 118 | ||
| 119 | #[salsa::invoke(chalk_db::fn_def_variance_query)] | 119 | #[salsa::invoke(chalk_db::fn_def_variance_query)] |
| 120 | fn fn_def_variance(&self, krate: CrateId, fn_def_id: FnDefId) -> chalk_db::Variances; | 120 | fn fn_def_variance(&self, fn_def_id: FnDefId) -> chalk_db::Variances; |
| 121 | 121 | ||
| 122 | #[salsa::invoke(chalk_db::adt_variance_query)] | 122 | #[salsa::invoke(chalk_db::adt_variance_query)] |
| 123 | fn adt_variance(&self, krate: CrateId, adt_id: chalk_db::AdtId) -> chalk_db::Variances; | 123 | fn adt_variance(&self, adt_id: chalk_db::AdtId) -> chalk_db::Variances; |
| 124 | 124 | ||
| 125 | #[salsa::invoke(chalk_db::associated_ty_value_query)] | 125 | #[salsa::invoke(chalk_db::associated_ty_value_query)] |
| 126 | fn associated_ty_value( | 126 | fn associated_ty_value( |