From 3621100820d0541e4863ceed8523b887894069e1 Mon Sep 17 00:00:00 2001
From: Aleksandar Pokopec <aleksandar.prokopec@epfl.ch>
Date: Mon, 21 Feb 2011 17:14:36 +0000
Subject: 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.
---
 test/files/pos/t4266.scala | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 test/files/pos/t4266.scala

(limited to 'test/files/pos')

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;
+  }
+}
+
-- 
cgit v1.2.3