diff --git a/cabal-install/tests/UnitTests/Distribution/Solver/Modular/DSL.hs b/cabal-install/tests/UnitTests/Distribution/Solver/Modular/DSL.hs
index e7be12adb24..0781fd13d1e 100644
--- a/cabal-install/tests/UnitTests/Distribution/Solver/Modular/DSL.hs
+++ b/cabal-install/tests/UnitTests/Distribution/Solver/Modular/DSL.hs
@@ -494,10 +494,7 @@ exAvSrcPkg ex =
         let checks = C.checkPackage (srcpkgDescription package)
          in filter
               ( \x ->
-                  not (isgtLowerBound x)
-                    && not (isLeqUpperBound x)
-                    && not (isTrailingZeroUpperBound x)
-                    && not (isMissingUpperBound x)
+                  not (isMissingUpperBound x)
                     && not (isUnknownLangExt x)
               )
               checks
@@ -723,18 +720,6 @@ exAvSrcPkg ex =
     isMissingUpperBound pc = case C.explanation pc of
       C.MissingUpperBounds{} -> True
       _ -> False
-    isTrailingZeroUpperBound :: C.PackageCheck -> Bool
-    isTrailingZeroUpperBound pc = case C.explanation pc of
-      C.TrailingZeroUpperBounds{} -> True
-      _ -> False
-    isLeqUpperBound :: C.PackageCheck -> Bool
-    isLeqUpperBound pc = case C.explanation pc of
-      C.LEQUpperBounds{} -> True
-      _ -> False
-    isgtLowerBound :: C.PackageCheck -> Bool
-    isgtLowerBound pc = case C.explanation pc of
-      C.GTLowerBounds{} -> True
-      _ -> False
 
 mkSimpleVersion :: ExamplePkgVersion -> C.Version
 mkSimpleVersion n = C.mkVersion [n, 0, 0]