tests/run/i806.scala


1
2
3
4
5
6
7
8
9
10

trait T{
 def foo(a: List[String]): String = "1"
 def foo(a: List[Int]): Int = 1
 foo(List("1"))
 foo(List(1))
}
// to be compiled by dotty
object Test extends T{
  def main(args: Array[String]): Unit = ()
}