Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/builder.rs')
| -rw-r--r-- | crates/hir-ty/src/builder.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/crates/hir-ty/src/builder.rs b/crates/hir-ty/src/builder.rs index 8c47e9ce1c..23587cc6d0 100644 --- a/crates/hir-ty/src/builder.rs +++ b/crates/hir-ty/src/builder.rs @@ -4,7 +4,7 @@ use std::iter; use chalk_ir::{ cast::{Cast, CastTo, Caster}, - fold::Fold, + fold::TypeFoldable, interner::HasInterner, AdtId, BoundVar, DebruijnIndex, Scalar, }; @@ -276,7 +276,7 @@ impl TyBuilder<TypeAliasId> { } } -impl<T: HasInterner<Interner = Interner> + Fold<Interner>> TyBuilder<Binders<T>> { +impl<T: HasInterner<Interner = Interner> + TypeFoldable<Interner>> TyBuilder<Binders<T>> { fn subst_binders(b: Binders<T>) -> Self { let param_kinds = b .binders @@ -290,7 +290,7 @@ impl<T: HasInterner<Interner = Interner> + Fold<Interner>> TyBuilder<Binders<T>> TyBuilder::new(b, param_kinds) } - pub fn build(self) -> <T as Fold<Interner>>::Result { + pub fn build(self) -> T { let (b, subst) = self.build_internal(); b.substitute(Interner, &subst) } |