fix: Ambiguous given instance inside RefinedTypeOps (#180)

Iltotore · Oct 8, 2023 · 5822995 · 5822995
1 parent 0ef299f
commit 5822995
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/main/src/io/github/iltotore/iron/RefinedTypeOps.scala b/main/src/io/github/iltotore/iron/RefinedTypeOps.scala
@@ -10,13 +10,13 @@ import scala.reflect.TypeTest
  * @tparam C the constraint type of the new type
  * @tparam T the new type (equivalent to `A :| C` if `T` is a transparent alias)
  */
-trait RefinedTypeOps[A, C, T](using val rtc: RuntimeConstraint[A, C]):
+trait RefinedTypeOps[A, C, T](using private val _rtc: RuntimeConstraint[A, C]):
 
   /**
-   * R
-   * @return
+   * The runtime constraint of the underlying [[IronType]]. Can be used in non-inline methods and to improve runtime
+   * performances.
    */
-  inline protected given RuntimeConstraint[A, C] = rtc
+  inline def rtc: RuntimeConstraint[A, C] = _rtc
 
   /**
    * Implicitly refine at compile-time the given value.