diff options
| author | Aleksandar Pokopec <aleksandar.prokopec@epfl.ch> | 2011-02-21 17:14:36 +0000 |
|---|---|---|
| committer | Aleksandar Pokopec <aleksandar.prokopec@epfl.ch> | 2011-02-21 17:14:36 +0000 |
| commit | 3621100820d0541e4863ceed8523b887894069e1 (patch) | |
| tree | 4d7ab86554a5b0b86babc4262e3ac2ea31f5bad1 /test/files/pos | |
| parent | 3594304e825f6cd255a1cf61807dd3408ab3b5da (diff) | |
| download | scala-3621100820d0541e4863ceed8523b887894069e1.tar.gz scala-3621100820d0541e4863ceed8523b887894069e1.tar.bz2 scala-3621100820d0541e4863ceed8523b887894069e1.zip | |
Fixed a bug where newly introduced type paramet...
Fixed a bug where newly introduced type parameters didn't have all the
substitutions done correctly. Fixes #4266.
No review.
Diffstat (limited to 'test/files/pos')
| -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; + } +} + |