1 files changed, 25 insertions, 0 deletions
diff --git a/tests/untried/neg/t0015.scala b/tests/untried/neg/t0015.scala
new file mode 100644
index 000000000..225197f95
--- /dev/null
+++ b/tests/untried/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) // compiles Ok now was well, because we narrow to singletonType in this situation
+
+    //def g(x: Any) = {}
+    //g(self: selfType)
+}