]> git.lizzy.rs Git - rust.git/blobdiff - compiler/rustc_middle/src/ty/print/pretty.rs
Cleanup
[rust.git] / compiler / rustc_middle / src / ty / print / pretty.rs
index 893572785f76b0dde108da22218cc9de28b4dfb5..fbfc8a40faf0284f9d50745480bdbd0b4d40948f 100644 (file)
@@ -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> {