Modified singletonWitnessAs to use valueOf instead of constValue

mpskowron · mpskowron · commit f76973a178a7 · 2021-07-26T20:56:54.000+02:00
diff --git a/modules/core/shared/src/main/scala-3.0+/eu/timepit/refined/internal/WitnessAs.scala b/modules/core/shared/src/main/scala-3.0+/eu/timepit/refined/internal/WitnessAs.scala
@@ -35,8 +35,8 @@ object WitnessAs extends WitnessAs1 {
   ): WitnessAs[A, B] =
     WitnessAs(wa.value, nb.fromInt(ta.apply()))
 
-  inline given singletonWitnessAs[B, A <: B]: WitnessAs[A, B] = {
-    inline val a = constValue[A]
+  inline given singletonWitnessAs[B, A <: B: ValueOf]: WitnessAs[A, B] = {
+    val a = valueOf[A]
     WitnessAs(a, a)
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -35,8 +35,8 @@ object WitnessAs extends WitnessAs1 {`
`35`	`35`	`): WitnessAs[A, B] =`
`36`	`36`	`WitnessAs(wa.value, nb.fromInt(ta.apply()))`
`37`	`37`
`38`		`- inline given singletonWitnessAs[B, A <: B]: WitnessAs[A, B] = {`
`39`		`- inline val a = constValue[A]`
	`38`	`+ inline given singletonWitnessAs[B, A <: B: ValueOf]: WitnessAs[A, B] = {`
	`39`	`+ val a = valueOf[A]`
`40`	`40`	`WitnessAs(a, a)`
`41`	`41`	`}`
`42`	`42`	`}`