refactor: update default value for IronType[Double, Positive] in Form…

…s.scala
cheleb · May 13, 2024 · e2f441a · e2f441a
1 parent 00806bf
commit e2f441a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/modules/core/src/main/scala/dev/cheleb/scalamigen/Forms.scala b/modules/core/src/main/scala/dev/cheleb/scalamigen/Forms.scala
@@ -24,7 +24,7 @@ given Defaultable[String] with
   * is 0.0.
   */
 given Defaultable[IronType[Double, Positive]] with
-  def default = 1.0.refine[Positive]
+  def default = 1.0.refineUnsafe[Positive]
 
 /** Validator for [Iron type Double
   * positive](https://iltotore.github.io/iron/io/github/iltotore/iron/constraint/numeric$.html#Positive-0).