Fix Scala 2.12

fthomas · Jul 9, 2021 · 64271a7 · 64271a7
1 parent a99a74d
commit 64271a7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/modules/core/shared/src/test/scala-3.0-/eu/timepit/refined/BooleanInferenceSpec.scala b/modules/core/shared/src/test/scala-3.0-/eu/timepit/refined/BooleanInferenceSpec.scala
@@ -75,7 +75,7 @@ class BooleanInferenceSpec extends Properties("BooleanInference") {
   }
 
   property("complex conjunction elimination") = secure {
-    type BaseRefinement = And[Size[Equal[10]], Forall[LetterOrDigit]]
+    type BaseRefinement = And[Size[Equal[W.`10`.T]], Forall[LetterOrDigit]]
     type ConcreteRefinement = And[StartsWith[W.`"001"`.T], BaseRefinement]
 
     Inference[ConcreteRefinement, BaseRefinement].isValid