diff options
| author | Michael Goulet <michael@errs.io> | 2024-05-15 12:58:41 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-05-17 12:58:33 -0400 |
| commit | 2025e44ef894f51a557522fc3057af7dce47a3ce (patch) | |
| tree | c487bff3b46a1d2ffa69f7087fd370ec430520b2 /compiler/rustc_middle/src | |
| parent | 550d1b4fb6de23990f4108815c3b1a9d1659e5c4 (diff) | |
| download | rust-2025e44ef894f51a557522fc3057af7dce47a3ce.tar.gz rust-2025e44ef894f51a557522fc3057af7dce47a3ce.zip | |
to_opt_poly_X_pred -> as_X_clause
Diffstat (limited to 'compiler/rustc_middle/src')
| -rw-r--r-- | compiler/rustc_middle/src/ty/predicate.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_middle/src/ty/predicate.rs b/compiler/rustc_middle/src/ty/predicate.rs index 329ac0b1d72..e490e060345 100644 --- a/compiler/rustc_middle/src/ty/predicate.rs +++ b/compiler/rustc_middle/src/ty/predicate.rs @@ -702,7 +702,7 @@ impl<'tcx> UpcastFrom<TyCtxt<'tcx>, NormalizesTo<'tcx>> for Predicate<'tcx> { } impl<'tcx> Predicate<'tcx> { - pub fn to_opt_poly_trait_pred(self) -> Option<PolyTraitPredicate<'tcx>> { + pub fn as_trait_clause(self) -> Option<PolyTraitPredicate<'tcx>> { let predicate = self.kind(); match predicate.skip_binder() { PredicateKind::Clause(ClauseKind::Trait(t)) => Some(predicate.rebind(t)), @@ -722,7 +722,7 @@ impl<'tcx> Predicate<'tcx> { } } - pub fn to_opt_poly_projection_pred(self) -> Option<PolyProjectionPredicate<'tcx>> { + pub fn as_projection_clause(self) -> Option<PolyProjectionPredicate<'tcx>> { let predicate = self.kind(); match predicate.skip_binder() { PredicateKind::Clause(ClauseKind::Projection(t)) => Some(predicate.rebind(t)), |