From f22d1313c2527dd87b342e3461b577e51a2f1576 Mon Sep 17 00:00:00 2001
From: Adriaan Moors <adriaan.moors@epfl.ch>
Date: Thu, 6 Aug 2009 10:25:28 +0000
Subject: fixed ticket #2197

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

(limited to 'test')

diff --git a/test/files/pos/ticket2197.scala b/test/files/pos/ticket2197.scala
new file mode 100644
index 0000000000..1679d7d51a
--- /dev/null
+++ b/test/files/pos/ticket2197.scala
@@ -0,0 +1,7 @@
+trait PartialType[T[_, _], A] {
+  type Apply[B] = T[A, B]
+}
+
+sealed trait State[S, +A]
+trait Pure[P[_]]
+trait StatePure[X] extends Pure[PartialType[State, X]#Apply]
\ No newline at end of file
-- 
cgit v1.2.3