blob: 301cc264bcff930feafa4dd655e2c5670d8ac638 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
object Test {
trait Tensor2Like[
@specialized(Int) A1,
+D1 <: DomainLike[A1],
+D <: Product2DomainLike[D1]
] {
def domain: D;
def checkKey(k1: A1) {
domain._1.contains(k1)
}
}
trait DomainLike[A] {
def contains(key: A): Boolean;
}
// trait DomainLike[@specialized(Int) A] {
// def contains(key: A): Boolean;
// }
trait Product2DomainLike[+D1] {
def _1: D1;
}
}
|