From 0b34dfbcfec17eda8634ff4f68cfe75503592bbf Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Thu, 26 Jul 2007 15:32:33 +0000 Subject: Fixed bug1210 --- test/files/neg/bug1210.scala | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100755 test/files/neg/bug1210.scala (limited to 'test/files/neg/bug1210.scala') 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) + } + } +} + -- cgit v1.2.3