Rework Trees.flatten

 - Handle the case where Thickets can contain themselves Thickets
 - Make it tail recursive instead of using an outer while loop

Author: odersky

compiler/src/dotty/tools/dotc/ast/Trees.scala

@@ -769,28 +769,26 @@ object Trees {
   def genericEmptyTree[T >: Untyped]: Thicket[T]        = theEmptyTree.asInstanceOf[Thicket[T]]
 
   def flatten[T >: Untyped](trees: List[Tree[T]]): List[Tree[T]] = {
-    var buf: ListBuffer[Tree[T]] = null
-    var xs = trees
-    while (!xs.isEmpty) {
-      xs.head match {
-        case Thicket(elems) =>
+    def recur(buf: ListBuffer[Tree[T]], remaining: List[Tree[T]]): ListBuffer[Tree[T]] =
+      remaining match {
+        case Thicket(elems) :: remaining1 =>
           if (buf == null) {
-            buf = new ListBuffer
-            var ys = trees
-            while (ys ne xs) {
-              buf += ys.head
-              ys = ys.tail
+            val buf = new ListBuffer[Tree[T]]
+            var scanned = trees
+            while (scanned `ne` remaining) {
+              buf += scanned.head
+              scanned = scanned.tail
             }
+            recur(buf, remaining)
           }
-          for (elem <- elems) {
-            assert(!elem.isInstanceOf[Thicket[_]])
-            buf += elem
-          }
-        case tree =>
+          else recur(recur(buf, elems), remaining1)
+        case tree :: remaining1 =>
           if (buf != null) buf += tree
+          recur(buf, remaining1)
+        case nil =>
+          buf
       }
-      xs = xs.tail
-    }
+    val buf = recur(null, trees)
     if (buf != null) buf.toList else trees
   }
 

tests/neg/parser-stability-11.scala

@@ -1,5 +1,5 @@
 package x0 {
-case class x0
+case class x0  // error // error
 }
 package x0
-class x0
+class x0  // error // error

tests/neg/parser-stability-12.scala

@@ -1,3 +1,3 @@
-trait x0[]
+trait x0[]  // error
      trait x1[x1 <:x0]
-     extends x1[
+     extends x1[   // error

tests/neg/parser-stability-13.scala

@@ -0,0 +1,2 @@
+object x0 {  // error
+def this (x1:x2 =  // error