Fix #400

In a call-by-name arg, replace () => f.apply() with f only if f is pure.

1 files changed, 13 insertions, 0 deletions

diff --git a/tests/pos/i0400.scala b/tests/pos/i0400.scala
new file mode 100644
index 000000000..701dc88fd
--- /dev/null
+++ b/tests/pos/i0400.scala
@@ -0,0 +1,13 @@
+object Test {
+  def foo: Unit = {
+    def a = () => ""
+    bar({???; a}.apply())
+  }
+  def bar(a: => Any): Unit = {
+    baz(a)
+  }
+  def baz(a: => Any): Unit = ()
+  def main(args: Array[String]): Unit = {
+    foo
+  }
+}