From d0ea774d60f20e94ae88412c2f133502216bac6e Mon Sep 17 00:00:00 2001
From: Vince Reuter <vince.reuter@gmail.com>
Date: Wed, 10 Jul 2024 18:49:10 +0200
Subject: [PATCH] restore needed imports removed by scalafix, and apply
 formatter

---
 modules/numeric/src/test/scala/TestNonnegativeInt.scala | 9 ++++++---
 modules/numeric/src/test/scala/TestPositiveInt.scala    | 6 ++++--
 2 files changed, 10 insertions(+), 5 deletions(-)

diff --git a/modules/numeric/src/test/scala/TestNonnegativeInt.scala b/modules/numeric/src/test/scala/TestNonnegativeInt.scala
index 91245bd..62ffb9d 100644
--- a/modules/numeric/src/test/scala/TestNonnegativeInt.scala
+++ b/modules/numeric/src/test/scala/TestNonnegativeInt.scala
@@ -89,7 +89,7 @@ class TestNonnegativeInt
   }
 
   test("NonnegativeInt is a transparent type alias for Int :| Not[Negative]") {
-    import io.github.iltotore.iron.{ :|, autoRefine } // scalafix:ok
+    import io.github.iltotore.iron.{:|, autoRefine} // scalafix:ok
     assertCompiles {
       "val ironRef: Int :| Not[Negative] = 0; val aliased: NonnegativeInt = ironRef"
     }
@@ -99,9 +99,12 @@ class TestNonnegativeInt
   }: @nowarn
 
   test("NonnegativeInt's predicate is Not[Negative], not GreaterEqual[0]") {
-    import io.github.iltotore.iron.{ :|, autoRefine } // scalafix:ok
+    import io.github.iltotore.iron.{:|, autoRefine} // scalafix:ok
     import io.github.iltotore.iron.constraint.any.StrictEqual // scalafix:ok
-    import io.github.iltotore.iron.constraint.numeric.{ Greater, GreaterEqual} // scalafix:ok
+    import io.github.iltotore.iron.constraint.numeric.{
+      Greater,
+      GreaterEqual
+    } // scalafix:ok
     /* With GreaterEqual[0] */
     assertCompiles { "val ironRef: Int :| GreaterEqual[0] = 0" }
     assertTypeError {
diff --git a/modules/numeric/src/test/scala/TestPositiveInt.scala b/modules/numeric/src/test/scala/TestPositiveInt.scala
index da8152b..fc07233 100644
--- a/modules/numeric/src/test/scala/TestPositiveInt.scala
+++ b/modules/numeric/src/test/scala/TestPositiveInt.scala
@@ -1,5 +1,6 @@
 package at.ac.oeaw.imba.gerlich.gerlib.numeric
 
+import scala.annotation.nowarn
 import scala.util.Try
 import cats.syntax.all.*
 import org.scalacheck.{Arbitrary, Gen}
@@ -86,12 +87,13 @@ class TestPositiveInt
   }
 
   test("PositiveInt is a transparent type alias for Int :| Positive") {
-
+    import io.github.iltotore.iron.{:|, autoRefine} // scalafix:ok
+    import io.github.iltotore.iron.constraint.numeric.Positive // scalafix:ok
     assertCompiles {
       "val ironRef: Int :| Positive = 1; val aliased: PositiveInt = ironRef"
     }
     assertCompiles {
       "val aliased: PositiveInt = PositiveInt(1); val ironRef: Int :| Positive = aliased"
     }
-  }
+  }: @nowarn
 end TestPositiveInt