aboutsummaryrefslogtreecommitdiff
path: root/tests/run/delambdafy-dependent-on-param-subst-2.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/run/delambdafy-dependent-on-param-subst-2.scala')
-rw-r--r--tests/run/delambdafy-dependent-on-param-subst-2.scala20
1 files changed, 20 insertions, 0 deletions
diff --git a/tests/run/delambdafy-dependent-on-param-subst-2.scala b/tests/run/delambdafy-dependent-on-param-subst-2.scala
new file mode 100644
index 000000000..4f7b2dc6e
--- /dev/null
+++ b/tests/run/delambdafy-dependent-on-param-subst-2.scala
@@ -0,0 +1,20 @@
+trait M[-X] {
+ def m(x: X): Boolean
+}
+
+class C
+class A { class C }
+
+object Test {
+ def main(args: Array[String]): Unit = {
+ val a = new A
+
+ // class O extends M[a.C] { def m(x: a.C) = true }
+ // (new O: M[Null]).m(null) // Okay
+
+ ((a: A) => {
+ class N extends M[a.C] { def m(x: a.C) = true }
+ new N: M[Null]
+ }).apply(a).m(null) // NPE, missing bridge
+ }
+}