diff options
author | Florian Diebold <[email protected]> | 2021-04-05 17:39:53 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2021-04-05 18:20:28 +0100 |
commit | 05eba0db3dd76f016aabdd49af6211e70a1812ed (patch) | |
tree | 4e4cdc0d7acddd8feb04c064360e0a8e889e4957 /crates/hir_ty/src/builder.rs | |
parent | ad20f00844cec9c794e34869be163673ebbed182 (diff) |
Binders::subst -> substitute
Diffstat (limited to 'crates/hir_ty/src/builder.rs')
-rw-r--r-- | crates/hir_ty/src/builder.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/crates/hir_ty/src/builder.rs b/crates/hir_ty/src/builder.rs index 7b8603fd7..c5196200c 100644 --- a/crates/hir_ty/src/builder.rs +++ b/crates/hir_ty/src/builder.rs | |||
@@ -139,7 +139,7 @@ impl TyBuilder<hir_def::AdtId> { | |||
139 | } else { | 139 | } else { |
140 | // each default can depend on the previous parameters | 140 | // each default can depend on the previous parameters |
141 | let subst_so_far = Substitution::intern(self.vec.clone()); | 141 | let subst_so_far = Substitution::intern(self.vec.clone()); |
142 | self.vec.push(default_ty.clone().subst(&subst_so_far).cast(&Interner)); | 142 | self.vec.push(default_ty.clone().substitute(&subst_so_far).cast(&Interner)); |
143 | } | 143 | } |
144 | } | 144 | } |
145 | self | 145 | self |
@@ -200,7 +200,7 @@ impl<T: TypeWalk + HasInterner<Interner = Interner>> TyBuilder<Binders<T>> { | |||
200 | 200 | ||
201 | pub fn build(self) -> T { | 201 | pub fn build(self) -> T { |
202 | let (b, subst) = self.build_internal(); | 202 | let (b, subst) = self.build_internal(); |
203 | b.subst(&subst) | 203 | b.substitute(&subst) |
204 | } | 204 | } |
205 | } | 205 | } |
206 | 206 | ||