diff options
| author | Florian Diebold <[email protected]> | 2021-04-05 16:45:18 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2021-04-05 18:19:18 +0100 |
| commit | ad20f00844cec9c794e34869be163673ebbed182 (patch) | |
| tree | 0f37d26295bc9a8372d09df1612bd08a6d19ff72 /crates/hir_ty/src/builder.rs | |
| parent | 69714d36e6617800f3edea174f5d6f76c985ad4c (diff) | |
Use VariableKinds in Binders
Diffstat (limited to 'crates/hir_ty/src/builder.rs')
| -rw-r--r-- | crates/hir_ty/src/builder.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/hir_ty/src/builder.rs b/crates/hir_ty/src/builder.rs index 372621f73..7b8603fd7 100644 --- a/crates/hir_ty/src/builder.rs +++ b/crates/hir_ty/src/builder.rs | |||
| @@ -194,7 +194,7 @@ impl TyBuilder<TypeAliasId> { | |||
| 194 | 194 | ||
| 195 | impl<T: TypeWalk + HasInterner<Interner = Interner>> TyBuilder<Binders<T>> { | 195 | impl<T: TypeWalk + HasInterner<Interner = Interner>> TyBuilder<Binders<T>> { |
| 196 | fn subst_binders(b: Binders<T>) -> Self { | 196 | fn subst_binders(b: Binders<T>) -> Self { |
| 197 | let param_count = b.num_binders; | 197 | let param_count = b.binders.len(&Interner); |
| 198 | TyBuilder::new(b, param_count) | 198 | TyBuilder::new(b, param_count) |
| 199 | } | 199 | } |
| 200 | 200 | ||