Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/autoderef.rs')
-rw-r--r--crates/hir-ty/src/autoderef.rs14
1 files changed, 7 insertions, 7 deletions
diff --git a/crates/hir-ty/src/autoderef.rs b/crates/hir-ty/src/autoderef.rs
index c9d3a87e96..4fab468dfd 100644
--- a/crates/hir-ty/src/autoderef.rs
+++ b/crates/hir-ty/src/autoderef.rs
@@ -130,8 +130,8 @@ impl<'db> AutoderefCtx<'db> for DefaultAutoderefCtx<'_, 'db> {
}
}
-pub(crate) struct InferenceContextAutoderefCtx<'a, 'b, 'db>(&'a mut InferenceContext<'b, 'db>);
-impl<'db> AutoderefCtx<'db> for InferenceContextAutoderefCtx<'_, '_, 'db> {
+pub(crate) struct InferenceContextAutoderefCtx<'a, 'db>(&'a mut InferenceContext<'db>);
+impl<'db> AutoderefCtx<'db> for InferenceContextAutoderefCtx<'_, 'db> {
#[inline]
fn infcx(&self) -> &InferCtxt<'db> {
&self.0.table.infer_ctxt
@@ -162,8 +162,8 @@ pub(crate) struct GeneralAutoderef<'db, Ctx, Steps = Vec<(Ty<'db>, AutoderefKind
pub(crate) type Autoderef<'a, 'db, Steps = Vec<(Ty<'db>, AutoderefKind)>> =
GeneralAutoderef<'db, DefaultAutoderefCtx<'a, 'db>, Steps>;
-pub(crate) type InferenceContextAutoderef<'a, 'b, 'db, Steps = Vec<(Ty<'db>, AutoderefKind)>> =
- GeneralAutoderef<'db, InferenceContextAutoderefCtx<'a, 'b, 'db>, Steps>;
+pub(crate) type InferenceContextAutoderef<'a, 'db, Steps = Vec<(Ty<'db>, AutoderefKind)>> =
+ GeneralAutoderef<'db, InferenceContextAutoderefCtx<'a, 'db>, Steps>;
impl<'db, Ctx, Steps> Iterator for GeneralAutoderef<'db, Ctx, Steps>
where
@@ -240,10 +240,10 @@ impl<'a, 'db> Autoderef<'a, 'db> {
}
}
-impl<'a, 'b, 'db> InferenceContextAutoderef<'a, 'b, 'db> {
+impl<'a, 'db> InferenceContextAutoderef<'a, 'db> {
#[inline]
pub(crate) fn new_from_inference_context(
- ctx: &'a mut InferenceContext<'b, 'db>,
+ ctx: &'a mut InferenceContext<'db>,
base_ty: Ty<'db>,
span: Span,
) -> Self {
@@ -251,7 +251,7 @@ impl<'a, 'b, 'db> InferenceContextAutoderef<'a, 'b, 'db> {
}
#[inline]
- pub(crate) fn ctx(&mut self) -> &mut InferenceContext<'b, 'db> {
+ pub(crate) fn ctx(&mut self) -> &mut InferenceContext<'db> {
self.ctx.0
}
}