Infix notation for PositiveInt

xebia-functional · Oct 4, 2023 · f81dddc · f81dddc
1 parent 70ed4fa
commit f81dddc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/02-c-api/src/main/scala/com/fortyseven/common/configuration/refinedTypes.scala b/02-c-api/src/main/scala/com/fortyseven/common/configuration/refinedTypes.scala
@@ -211,7 +211,7 @@ object refinedTypes:
      *   More info at [[https://docs.scala-lang.org/scala3/reference/metaprogramming/inline.html]]
      */
     inline def apply(int: Int): PositiveInt =
-      inline if constValue[>[int.type, 0]]
+      inline if constValue[int.type >= 0]
       then int
       else error(codeOf(int) + " is negative. Int must be positive.")