test/files/pos/arrays3.scala


1
2
3
4
5
6
7
8
9
10
11

trait Foo {
  type Repr <: String
  def f2(x: Repr) = x.length
}
trait Fooz[Repr <: Array[_]] {
  def f0(x: Repr) = x.length
}

trait Bar[Repr <: List[_]] extends Foo with Fooz[Array[Int]] {
  def f1(x: Repr) = x.length
}