summaryrefslogtreecommitdiff
path: root/test/files/neg/t0015.scala
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2007-08-30 13:39:15 +0000
committerMartin Odersky <odersky@gmail.com>2007-08-30 13:39:15 +0000
commit3527c51675fd580d6d61f3252eb34e6fbba44226 (patch)
tree5629155492df419560d878f99c1bde2db8ef4963 /test/files/neg/t0015.scala
parent658fc638ac76f04092eccbf58850212130771cbf (diff)
downloadscala-3527c51675fd580d6d61f3252eb34e6fbba44226.tar.gz
scala-3527c51675fd580d6d61f3252eb34e6fbba44226.tar.bz2
scala-3527c51675fd580d6d61f3252eb34e6fbba44226.zip
fixed lift build problem.
Diffstat (limited to 'test/files/neg/t0015.scala')
-rw-r--r--test/files/neg/t0015.scala25
1 files changed, 25 insertions, 0 deletions
diff --git a/test/files/neg/t0015.scala b/test/files/neg/t0015.scala
new file mode 100644
index 0000000000..35a6cd11fc
--- /dev/null
+++ b/test/files/neg/t0015.scala
@@ -0,0 +1,25 @@
+abstract class Test
+{
+ def f: Nothing
+
+ Nil.map(f _)
+}
+
+abstract class M
+{ self =>
+
+ type T
+ final type selfType = M {type T = self.T}
+ type actualSelfType >: self.type <: selfType
+
+
+ def f[U](x: Any) = {}
+
+ // compiles successfully
+ //f[Int](self: actualSelfType)
+
+ f[Int](self: selfType)
+
+ //def g(x: Any) = {}
+ //g(self: selfType)
+}