test/files/pos/t6301.scala


1
2
3
4
5
6
7
8
9

trait LoadedOver[@specialized(Int) A] {
  def foo(x: Any): A
  def foo(xs: String): A
}

object Test {
  def loaded: AnyRef with LoadedOver[Int] = sys.error("")
  loaded.foo("")
}