From 7e541e69b1eaab3c242c864a0930cb263d2cbaf5 Mon Sep 17 00:00:00 2001
From: Florian Diebold <flodiebold@gmail.com>
Date: Sat, 3 Apr 2021 17:49:29 +0200
Subject: Add HasInterner bounds

---
 crates/hir_ty/src/walk.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'crates/hir_ty/src/walk.rs')

diff --git a/crates/hir_ty/src/walk.rs b/crates/hir_ty/src/walk.rs
index 873d563c0..c1aecdafc 100644
--- a/crates/hir_ty/src/walk.rs
+++ b/crates/hir_ty/src/walk.rs
@@ -3,7 +3,7 @@
 
 use std::mem;
 
-use chalk_ir::DebruijnIndex;
+use chalk_ir::{interner::HasInterner, DebruijnIndex};
 
 use crate::{
     utils::make_mut_slice, AliasEq, AliasTy, Binders, CallableSig, FnSubst, GenericArg,
@@ -320,7 +320,7 @@ impl TypeWalk for Substitution {
     }
 }
 
-impl<T: TypeWalk> TypeWalk for Binders<T> {
+impl<T: TypeWalk + HasInterner<Interner = Interner>> TypeWalk for Binders<T> {
     fn walk(&self, f: &mut impl FnMut(&Ty)) {
         self.skip_binders().walk(f);
     }
-- 
cgit v1.2.3