Unnamed repository; edit this file 'description' to name the repository.
fix: use dummy binder for impl trait size auto trait bounds
| -rw-r--r-- | crates/hir-ty/src/lower.rs | 16 |
1 files changed, 6 insertions, 10 deletions
diff --git a/crates/hir-ty/src/lower.rs b/crates/hir-ty/src/lower.rs index 12d2266489..b252f8dac1 100644 --- a/crates/hir-ty/src/lower.rs +++ b/crates/hir-ty/src/lower.rs @@ -1273,18 +1273,14 @@ impl<'db, 'a> TyLoweringContext<'db, 'a> { trait_id.into(), GenericArgs::new_from_slice(&[self_ty.into()]), ); - let binder = ctx.peek_bound_vars(); Clause(Predicate::new( interner, - Binder::bind_with_vars( - rustc_type_ir::PredicateKind::Clause( - rustc_type_ir::ClauseKind::Trait(TraitPredicate { - trait_ref, - polarity: rustc_type_ir::PredicatePolarity::Positive, - }), - ), - binder, - ), + Binder::dummy(rustc_type_ir::PredicateKind::Clause( + rustc_type_ir::ClauseKind::Trait(TraitPredicate { + trait_ref, + polarity: rustc_type_ir::PredicatePolarity::Positive, + }), + )), )) }); predicates.extend(sized_clause); |