diff options
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)] |