blob: 653c50042a7eadd760d477761df60fb591fa4054 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
abstract class A[T, @specialized(scala.Int) U : ArrayTag] {
def f(state: T): Array[U]
}
abstract class B extends A[ Array[Byte], Int ] {
type T = Array[Byte]
type U = Int
val N = 0
def f(state: T): Array[U] =
{
new Array[U](N + state(N))
}
}
|