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;
+  }
+}
+