From 582299535bb60c7d912167ef9e195a5f9c12a530 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rapha=C3=ABl=20Fromentin?=
 <42907886+Iltotore@users.noreply.github.com>
Date: Sun, 8 Oct 2023 08:52:30 +0200
Subject: [PATCH] fix: Ambiguous given instance inside `RefinedTypeOps` (#180)

---
 main/src/io/github/iltotore/iron/RefinedTypeOps.scala | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/main/src/io/github/iltotore/iron/RefinedTypeOps.scala b/main/src/io/github/iltotore/iron/RefinedTypeOps.scala
index 8d945507..b274504b 100644
--- 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.