From 9c0e58c48da4cdbae7c96ef45fc15cd7aff4301f Mon Sep 17 00:00:00 2001
From: Paul Phillips <paulp@improving.org>
Date: Tue, 28 Sep 2010 00:51:25 +0000
Subject: Cleaning up the contents of test.

including "CheckEither", written against scalacheck 1.2 in the year 471
AD. Removed all the duplicates I could find, mostly between pending
and files. Renamed a bunch of tests so they wouldn't look like likely
duplicates next time around. Nominated somebody else to do this once in
a while.

No review.
---
 test/files/pos/pos-bug1210.scala | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 test/files/pos/pos-bug1210.scala

(limited to 'test/files/pos/pos-bug1210.scala')

diff --git a/test/files/pos/pos-bug1210.scala b/test/files/pos/pos-bug1210.scala
new file mode 100644
index 0000000000..eb163a956e
--- /dev/null
+++ b/test/files/pos/pos-bug1210.scala
@@ -0,0 +1,28 @@
+object Test
+{
+    def f[T](recurse: T => List[T]): List[T] =
+    {
+        Nil
+    }
+
+    abstract class M
+    { self =>
+    	type Settings
+    	type selfType = M {type Settings = self.Settings}
+
+        val v: List[selfType] = f[selfType]((x: selfType) => x.v)
+    }
+
+    abstract class M2
+    { self =>
+    	type Settings
+    	type selfType = M2 {type Settings = self.Settings}
+
+        def g: List[selfType] = Nil
+
+        {
+			f[selfType](_.g)
+        }
+    }
+}
+
-- 
cgit v1.2.3