X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=compiler%2Frustc_middle%2Fsrc%2Fty%2Fprint%2Fpretty.rs;h=fbfc8a40faf0284f9d50745480bdbd0b4d40948f;hb=e76476afe4179fb0c430cfcd86d061cc990a7bf7;hp=893572785f76b0dde108da22218cc9de28b4dfb5;hpb=930371b3ae7aae262f62363c8c77d4903742c210;p=rust.git

diff --git a/compiler/rustc_middle/src/ty/print/pretty.rs b/compiler/rustc_middle/src/ty/print/pretty.rs
index 893572785f7..fbfc8a40faf 100644
--- a/compiler/rustc_middle/src/ty/print/pretty.rs
+++ b/compiler/rustc_middle/src/ty/print/pretty.rs
@@ -2068,10 +2068,8 @@ pub fn print_only_trait_path(self) -> ty::Binder<TraitRefPrintOnlyTraitPath<'tcx
     }
 
     ty::Predicate<'tcx> {
-        match self.kind() {
-            &ty::PredicateKind::Atom(atom) => p!(print(atom)),
-            ty::PredicateKind::ForAll(binder) => p!(print(binder)),
-        }
+        let binder = self.bound_atom();
+        p!(print(binder))
     }
 
     ty::PredicateAtom<'tcx> {