introduce PredicateAtom

[rust.git] / src / librustc_trait_selection / traits / query / type_op / prove_predicate.rs

diff --git a/src/librustc_trait_selection/traits/query/type_op/prove_predicate.rs b/src/librustc_trait_selection/traits/query/type_op/prove_predicate.rs
index 5c8719da14e6fcabe9eb58520a45458a3535b551..93ddcb6855400b5cb95571d8d136df5143d483a1 100644 (file)
--- a/src/librustc_trait_selection/traits/query/type_op/prove_predicate.rs
+++ b/src/librustc_trait_selection/traits/query/type_op/prove_predicate.rs
@@ -15,10 +15,10 @@ fn try_fast_path(
         // `&T`, accounts for about 60% percentage of the predicates
         // we have to prove. No need to canonicalize and all that for
         // such cases.
-        if let ty::PredicateKind::Trait(trait_ref, _) = key.value.predicate.kind() {
+        if let ty::PredicateAtom::Trait(trait_ref, _) = key.value.predicate.skip_binders() {
             if let Some(sized_def_id) = tcx.lang_items().sized_trait() {
                 if trait_ref.def_id() == sized_def_id {
-                    if trait_ref.skip_binder().self_ty().is_trivially_sized(tcx) {
+                    if trait_ref.self_ty().is_trivially_sized(tcx) {
                         return Some(());
                     }
                 }