aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/lower.rs
diff options
context:
space:
mode:
authorFlorian Diebold <[email protected]>2021-04-05 20:25:40 +0100
committerFlorian Diebold <[email protected]>2021-04-05 20:58:03 +0100
commit738174671ae40092684d7a9a543f939e318051e5 (patch)
treee1d4acc12a28b25b1b87f107d7f200d07f50d0d9 /crates/hir_ty/src/lower.rs
parent2f5a77658baafad1fe3551971ebbcdce87760847 (diff)
Binders::wrap_empty -> wrap_empty_binders
Diffstat (limited to 'crates/hir_ty/src/lower.rs')
-rw-r--r--crates/hir_ty/src/lower.rs8
1 files changed, 5 insertions, 3 deletions
diff --git a/crates/hir_ty/src/lower.rs b/crates/hir_ty/src/lower.rs
index 48c26f471..6cef8095f 100644
--- a/crates/hir_ty/src/lower.rs
+++ b/crates/hir_ty/src/lower.rs
@@ -384,7 +384,9 @@ impl<'a> TyLoweringContext<'a> {
384 1, 384 1,
385 QuantifiedWhereClauses::from_iter( 385 QuantifiedWhereClauses::from_iter(
386 &Interner, 386 &Interner,
387 Some(Binders::wrap_empty(WhereClause::Implemented(trait_ref))), 387 Some(crate::wrap_empty_binders(WhereClause::Implemented(
388 trait_ref,
389 ))),
388 ), 390 ),
389 ), 391 ),
390 }; 392 };
@@ -720,7 +722,7 @@ impl<'a> TyLoweringContext<'a> {
720 let trait_ref = match bound { 722 let trait_ref = match bound {
721 TypeBound::Path(path) => { 723 TypeBound::Path(path) => {
722 bindings = self.lower_trait_ref_from_path(path, Some(self_ty)); 724 bindings = self.lower_trait_ref_from_path(path, Some(self_ty));
723 bindings.clone().map(WhereClause::Implemented).map(|b| Binders::wrap_empty(b)) 725 bindings.clone().map(WhereClause::Implemented).map(|b| crate::wrap_empty_binders(b))
724 } 726 }
725 TypeBound::Lifetime(_) => None, 727 TypeBound::Lifetime(_) => None,
726 TypeBound::Error => None, 728 TypeBound::Error => None,
@@ -767,7 +769,7 @@ impl<'a> TyLoweringContext<'a> {
767 let ty = self.lower_ty(type_ref); 769 let ty = self.lower_ty(type_ref);
768 let alias_eq = 770 let alias_eq =
769 AliasEq { alias: AliasTy::Projection(projection_ty.clone()), ty }; 771 AliasEq { alias: AliasTy::Projection(projection_ty.clone()), ty };
770 preds.push(Binders::wrap_empty(WhereClause::AliasEq(alias_eq))); 772 preds.push(crate::wrap_empty_binders(WhereClause::AliasEq(alias_eq)));
771 } 773 }
772 for bound in &binding.bounds { 774 for bound in &binding.bounds {
773 preds.extend(self.lower_type_bound( 775 preds.extend(self.lower_type_bound(