From aa41db72a4c4a50bd9444ee36fac257e455a9ba6 Mon Sep 17 00:00:00 2001
From: Paul Phillips <paulp@improving.org>
Date: Fri, 2 Dec 2011 13:43:19 -0800
Subject: Test case closes SI-4758.

---
 test/files/pos/t4758.scala | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 test/files/pos/t4758.scala

(limited to 'test')

diff --git a/test/files/pos/t4758.scala b/test/files/pos/t4758.scala
new file mode 100644
index 0000000000..627dfd7a23
--- /dev/null
+++ b/test/files/pos/t4758.scala
@@ -0,0 +1,17 @@
+// /scala/trac/4758/a.scala
+// Fri Dec  2 13:41:54 PST 2011
+
+package bar {
+  // works
+  trait M[F[_]]
+  class S[X[_] <: M[X], A](val x:X[A])
+  object S {
+    def apply[X[_] <: M[X], A](x: X[A]): S[X, A] = new S[X, A](x)
+    def unapply[X[_] <: M[X], A](p: S[X, A]) = Some(p.x)
+  }
+}
+package foo {
+  // seemingly equivalent, doesn't work
+  trait M[F[_]]
+  case class S[X[_] <: M[X], A](x: X[A])
+}
-- 
cgit v1.2.3