Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/traits.rs')
-rw-r--r--crates/hir-ty/src/traits.rs8
1 files changed, 4 insertions, 4 deletions
diff --git a/crates/hir-ty/src/traits.rs b/crates/hir-ty/src/traits.rs
index 935f541841..108e3e07a6 100644
--- a/crates/hir-ty/src/traits.rs
+++ b/crates/hir-ty/src/traits.rs
@@ -61,13 +61,13 @@ pub struct StoredParamEnvAndCrate {
impl StoredParamEnvAndCrate {
#[inline]
- pub fn param_env(&self) -> ParamEnv<'_> {
+ pub fn param_env<'db>(&self, _db: &'db dyn HirDatabase) -> ParamEnv<'db> {
ParamEnv { clauses: self.param_env.as_ref() }
}
#[inline]
- pub fn as_ref(&self) -> ParamEnvAndCrate<'_> {
- ParamEnvAndCrate { param_env: self.param_env(), krate: self.krate }
+ pub fn as_ref<'db>(&self, db: &'db dyn HirDatabase) -> ParamEnvAndCrate<'db> {
+ ParamEnvAndCrate { param_env: self.param_env(db), krate: self.krate }
}
}
@@ -175,7 +175,7 @@ pub enum WherePredicateEvaluation {
pub fn where_predicate_must_hold<'db>(
db: &'db dyn HirDatabase,
resolver: &Resolver<'db>,
- store: &ExpressionStore,
+ store: &'db ExpressionStore,
def: ExpressionStoreOwnerId,
generic_def: GenericDefId,
env: ParamEnvAndCrate<'db>,