fthomas / fthomas/refined

Scala 3.2: Comparing NonNegInt with Int gives a compile error

Open
#1,130 1 comment 0 reactions 0 assignees View on GitHub
Dominant language
Scala
Stars
1.7k
Forks
152
Avg merge
1h 20m
Merged PRs (30d)
6

Description

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 !=

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.