Text #2527

Author: DarkDimius

tests/pos/i2527.scala

@@ -0,0 +1,3 @@
+object Foo {
+  val f: Function0[Int]{ def apply(): Int } = () => 42
+}

tests/pos/i2527b.scala

@@ -0,0 +1,18 @@
+class Base
+
+object Test {
+// OK
+val widen = {
+  class Inner extends Base
+  val f: () => Inner = { () => new Inner }
+  f()
+}
+
+// Crash
+val leak = {
+  class Inner extends Base
+  val f: (() => Inner){ def apply(): Inner } = { () => new Inner }
+  f()
+}
+
+}