1 files changed, 8 insertions, 5 deletions
diff --git a/compiler/rustc_hir_analysis/src/variance/mod.rs b/compiler/rustc_hir_analysis/src/variance/mod.rs
index b6137f89cad..9db05eedbde 100644
--- a/compiler/rustc_hir_analysis/src/variance/mod.rs
+++ b/compiler/rustc_hir_analysis/src/variance/mod.rs
@@ -123,25 +123,28 @@ fn variance_of_opaque(tcx: TyCtxt<'_>, item_def_id: LocalDefId) -> &[ty::Varianc
         // which thus mentions `'a` and should thus accept hidden types that borrow 'a
         // instead of requiring an additional `+ 'a`.
         match pred.kind().skip_binder() {
-            ty::PredicateKind::Trait(ty::TraitPredicate {
+            ty::PredicateKind::Clause(ty::Clause::Trait(ty::TraitPredicate {
                 trait_ref: ty::TraitRef { def_id: _, substs },
                 constness: _,
                 polarity: _,
-            }) => {
+            })) => {
                 for subst in &substs[1..] {
                     subst.visit_with(&mut collector);
                 }
             }
-            ty::PredicateKind::Projection(ty::ProjectionPredicate {
+            ty::PredicateKind::Clause(ty::Clause::Projection(ty::ProjectionPredicate {
                 projection_ty: ty::ProjectionTy { substs, item_def_id: _ },
                 term,
-            }) => {
+            })) => {
                 for subst in &substs[1..] {
                     subst.visit_with(&mut collector);
                 }
                 term.visit_with(&mut collector);
             }
-            ty::PredicateKind::TypeOutlives(ty::OutlivesPredicate(_, region)) => {
+            ty::PredicateKind::Clause(ty::Clause::TypeOutlives(ty::OutlivesPredicate(
+                _,
+                region,
+            ))) => {
                 region.visit_with(&mut collector);
             }
             _ => {