Debugging

dotc -Xprint:front -Ythrough-tasty /home/olivier/workspace/dotty/tests/pos/inline-i2570.scala

Author: OlivierBlanvillain

compiler/test/dotty/tools/dotc/FromTastyTests.scala

@@ -21,7 +21,7 @@ class FromTastyTests extends ParallelTesting {
 
 
   @Test def posTestFromTasty: Unit = {
-    // Can be reproduced with
+    // Failures can be reproduced in isolation with
     // > sbt
     // > dotc -Ythrough-tasty -Ycheck:all <source>
 
@@ -72,7 +72,7 @@ class FromTastyTests extends ParallelTesting {
   }
 
   @Test def runTestFromTasty: Unit = {
-    // Can be reproduced with
+    // Failures can be reproduced in isolation with
     // > sbt
     // > dotc -Ythrough-tasty -Ycheck:all <source>
     // > dotr Test

tests/pos/inline-i2570.scala

@@ -1,4 +1,6 @@
 object Test {
-  inline def sum2(ys: List[Int]): Int = (1 /: ys)(_ + _)
-  val h1: ((List[Int]) => Int) = sum2
+  inline def sum2(ys: List[Int]): Unit = {
+    ys.foldLeft(1)
+  }
+  val h1: ((List[Int]) => Unit) = sum2
 }