issues
search
fthomas
/
refined
Refinement types for Scala
MIT License
1.69k
stars
155
forks
source link
enforce new wildcard syntax
#1239
Closed
xuwei-k
closed
6 months ago
xuwei-k
commented
6 months ago
Scala 3 report warnings since 3.4
https://github.com/lampepfl/dotty/pull/18813
Scala 2.12 and 2.13 support new syntax without
-Xsource:3
option
https://github.com/scala/scala/pull/10005
-Xsource:3
option https://github.com/scala/scala/pull/10005