You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
If I make an equal comparison on a NonNegInt with Int I get a compile error:
def mapSignalStrengthUmts(rcspLev: NonNegInt): Option[Int] =
if rcspLev < 1 then Some(-116) // same as if rcspLev == 0 but this gives a Refined compile error
gives:
Values of types eu.timepit.refined.types.numeric.NonNegInt and Int cannot be compared with == or !=
The text was updated successfully, but these errors were encountered:
If I make an equal comparison on a NonNegInt with Int I get a compile error:
gives:
Values of types eu.timepit.refined.types.numeric.NonNegInt and Int cannot be compared with == or !=
The text was updated successfully, but these errors were encountered: