Open som-snytt opened 9 months ago
Scala version: 2.13.11
$ scala -Vprint -Xlint -Dscala.repl.info scala 2.13.11> import scala.collection.{AnyStepper, Stepper} scala 2.13.11> def f[A, B](x: => AnyStepper[A], y: => Stepper[B]): Unit = { | List(() => x, () => y) | } [[syntax trees at end of typer]] // <console> def f[A, B](x: => scala.collection.AnyStepper[A], y: => scala.collection.Stepper[B]): Unit = { scala.`package`.List.apply[() => scala.collection.Stepper[Any]]((() => x), (() => y)); () }
It inferred Any but did not warn.
Any
Reproduction steps
Scala version: 2.13.11
Problem
It inferred
Any
but did not warn.