Merge pull request #498 from fthomas/topic/alwaysValid

Use Inference.alwaysValid
fthomas · May 3, 2018 · d15f7f4 · d15f7f4
2 parents 0820f10 + 2428036
commit d15f7f4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/modules/core/shared/src/main/scala/eu/timepit/refined/numeric.scala b/modules/core/shared/src/main/scala/eu/timepit/refined/numeric.scala
@@ -152,8 +152,8 @@ private[refined] trait NumericInference {
     Inference(ta() > tb(), s"greaterInferenceNat(${ta()}, ${tb()})")
 
   implicit def greaterEqualInference[A]: Greater[A] ==> GreaterEqual[A] =
-    Inference(true, "greaterEqualInference")
+    Inference.alwaysValid("greaterEqualInference")
 
   implicit def lessEqualInference[A]: Less[A] ==> LessEqual[A] =
-    Inference(true, "lessEqualInference")
+    Inference.alwaysValid("lessEqualInference")
 }