-
Notifications
You must be signed in to change notification settings - Fork 1.1k
Open
Labels
itype:bugstat:needs triageEvery issue needs to have an "area" and "itype" labelEvery issue needs to have an "area" and "itype" label
Description
Minimized code
//> using options -Wunused:all
def method[A](f: [g[_]] => Unit => g[A]) = ()
@main def main = method([g[_]] => (_: Unit) => null.asInstanceOf[g[Int]])Output
scala-cli compile --scala 3.7.0 poly.scala
Compiling project (Scala 3.7.0, JVM (21))
Compiled project (Scala 3.7.0, JVM (21))
vs.
scala-cli compile --scala 3.3.7 poly.scala
[warn] ./poly.scala:5:26
[warn] unused private member
[warn] @main def main = method([g[_]] => (_: Unit) => null.asInstanceOf[g[Int]])
[warn]
Expectation
no warnings
Metadata
Metadata
Assignees
Labels
itype:bugstat:needs triageEvery issue needs to have an "area" and "itype" labelEvery issue needs to have an "area" and "itype" label