diff options
Diffstat (limited to 'test/files/pos/t4266.scala')
-rw-r--r-- | test/files/pos/t4266.scala | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/test/files/pos/t4266.scala b/test/files/pos/t4266.scala new file mode 100644 index 0000000000..222f65e970 --- /dev/null +++ b/test/files/pos/t4266.scala @@ -0,0 +1,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; + } +} + |