diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-20 11:47:50 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-03-20 11:47:50 +0000 |
| commit | 4d67032bbb3e1f97ee7af43cb6f056d01f791ca2 (patch) | |
| tree | 70a77a26ca09d8d5cd843b1cd9d59af229cd0daf /crates/hir_ty/src/db.rs | |
| parent | 5ac0290f533eed295c6e92564d7530d41cf45d6e (diff) | |
| parent | 7ec3b66f7a3ac0a33cf435bc3596fdac542fc52a (diff) | |
Merge #8117
8117: Turn Obligation into something similar to chalk_ir::DomainGoal r=flodiebold a=flodiebold
This includes starting to make use of Chalk's `Cast` trait.
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/db.rs')
| -rw-r--r-- | crates/hir_ty/src/db.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/hir_ty/src/db.rs b/crates/hir_ty/src/db.rs index 300da0f38..91a2e0b5b 100644 --- a/crates/hir_ty/src/db.rs +++ b/crates/hir_ty/src/db.rs | |||
| @@ -119,7 +119,7 @@ pub trait HirDatabase: DefDatabase + Upcast<dyn DefDatabase> { | |||
| 119 | fn trait_solve( | 119 | fn trait_solve( |
| 120 | &self, | 120 | &self, |
| 121 | krate: CrateId, | 121 | krate: CrateId, |
| 122 | goal: crate::Canonical<crate::InEnvironment<crate::Obligation>>, | 122 | goal: crate::Canonical<crate::InEnvironment<crate::DomainGoal>>, |
| 123 | ) -> Option<crate::traits::Solution>; | 123 | ) -> Option<crate::traits::Solution>; |
| 124 | 124 | ||
| 125 | #[salsa::invoke(crate::traits::chalk::program_clauses_for_chalk_env_query)] | 125 | #[salsa::invoke(crate::traits::chalk::program_clauses_for_chalk_env_query)] |