diff options
author | Florian Diebold <[email protected]> | 2021-04-05 20:25:40 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2021-04-05 20:58:03 +0100 |
commit | 738174671ae40092684d7a9a543f939e318051e5 (patch) | |
tree | e1d4acc12a28b25b1b87f107d7f200d07f50d0d9 /crates/hir_ty/src/lower.rs | |
parent | 2f5a77658baafad1fe3551971ebbcdce87760847 (diff) |
Binders::wrap_empty -> wrap_empty_binders
Diffstat (limited to 'crates/hir_ty/src/lower.rs')
-rw-r--r-- | crates/hir_ty/src/lower.rs | 8 |
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( |