summaryrefslogtreecommitdiff
path: root/test/files/neg/bug1210.scala
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2007-07-26 15:32:33 +0000
committerMartin Odersky <odersky@gmail.com>2007-07-26 15:32:33 +0000
commit0b34dfbcfec17eda8634ff4f68cfe75503592bbf (patch)
treeaf658af2ab3729e5f6b3e68311ba99f1638cfb7f /test/files/neg/bug1210.scala
parentc61bd2d85cba92d1b297f9d78d92f44dc3604d80 (diff)
downloadscala-0b34dfbcfec17eda8634ff4f68cfe75503592bbf.tar.gz
scala-0b34dfbcfec17eda8634ff4f68cfe75503592bbf.tar.bz2
scala-0b34dfbcfec17eda8634ff4f68cfe75503592bbf.zip
Fixed bug1210
Diffstat (limited to 'test/files/neg/bug1210.scala')
-rwxr-xr-xtest/files/neg/bug1210.scala28
1 files changed, 28 insertions, 0 deletions
diff --git a/test/files/neg/bug1210.scala b/test/files/neg/bug1210.scala
new file mode 100755
index 0000000000..eb163a956e
--- /dev/null
+++ b/test/files/neg/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)
+ }
+ }
+}
+