review

1 files changed, 6 insertions, 9 deletions

diff --git a/compiler/rustc_borrowck/src/region_infer/opaque_types.rs b/compiler/rustc_borrowck/src/region_infer/opaque_types.rs
index ff3883240e2..4da7b602571 100644
--- a/compiler/rustc_borrowck/src/region_infer/opaque_types.rs
+++ b/compiler/rustc_borrowck/src/region_infer/opaque_types.rs
@@ -385,16 +385,13 @@ fn check_opaque_type_parameter_valid(
 
         let arg_is_param = match arg.unpack() {
             GenericArgKind::Type(ty) => matches!(ty.kind(), ty::Param(_)),
-            GenericArgKind::Lifetime(lt) => {
-                if is_ty_alias {
-                    matches!(*lt, ty::ReEarlyBound(_) | ty::ReFree(_))
-                } else {
-                    // FIXME(#113916): we can't currently check for unique lifetime params,
-                    // see that issue for more. We will also have to ignore bivariant lifetime
-                    // params for RPIT, but that's comparatively trivial ✨
-                    continue;
-                }
+            GenericArgKind::Lifetime(lt) if is_ty_alias => {
+                matches!(*lt, ty::ReEarlyBound(_) | ty::ReFree(_))
             }
+            // FIXME(#113916): we can't currently check for unique lifetime params,
+            // see that issue for more. We will also have to ignore unused lifetime
+            // params for RPIT, but that's comparatively trivial ✨
+            GenericArgKind::Lifetime(_) => continue,
             GenericArgKind::Const(ct) => matches!(ct.kind(), ty::ConstKind::Param(_)),
         };