diff options
author | Martin Odersky <odersky@gmail.com> | 2007-08-21 14:04:16 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2007-08-21 14:04:16 +0000 |
commit | 93e7d7fe4d11f4cf474b31e9950ab4eb6457743d (patch) | |
tree | 051a0a985e35e22298ac315fce1d43cba94618d2 /test/files/pos | |
parent | ecbe1cdd177b903796a65e29c6a2104197c54654 (diff) | |
download | scala-93e7d7fe4d11f4cf474b31e9950ab4eb6457743d.tar.gz scala-93e7d7fe4d11f4cf474b31e9950ab4eb6457743d.tar.bz2 scala-93e7d7fe4d11f4cf474b31e9950ab4eb6457743d.zip |
some fix for bug1279
applied Koltsov patch
Diffstat (limited to 'test/files/pos')
-rwxr-xr-x | test/files/pos/bug1210.scala | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/test/files/pos/bug1210.scala b/test/files/pos/bug1210.scala new file mode 100755 index 0000000000..eb163a956e --- /dev/null +++ b/test/files/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) + } + } +} + |