Copy last version of dotc to test files

Author: odersky

tests/pos-with-compiler-cc/dotc/Run.scala

@@ -31,7 +31,6 @@ import java.nio.charset.StandardCharsets
 import scala.collection.mutable
 import scala.util.control.NonFatal
 import scala.io.Codec
-import caps.unsafe.unsafeUnbox
 
 /** A compiler run. Exports various methods to compile source files */
 class Run(comp: Compiler, ictx: Context) extends ImplicitRunInfo with ConstraintRunInfo {
@@ -271,7 +270,7 @@ class Run(comp: Compiler, ictx: Context) extends ImplicitRunInfo with Constraint
       Rewrites.writeBack()
     suppressions.runFinished(hasErrors = ctx.reporter.hasErrors)
     while (finalizeActions.nonEmpty) {
-      val action = finalizeActions.remove(0).unsafeUnbox
+      val action = finalizeActions.remove(0)
       action()
     }
     compiling = false

tests/pos-with-compiler-cc/dotc/ast/Desugar.scala

@@ -673,7 +673,7 @@ object desugar {
       else (Nil, Nil)
     }
 
-    var parents1: List[untpd.Tree] = parents // !cc! need explicit type to make capture checking pass
+    var parents1 = parents
     if (isEnumCase && parents.isEmpty)
       parents1 = enumClassTypeRef :: Nil
     if (isNonEnumCase)
@@ -1779,10 +1779,7 @@ object desugar {
         val elems = segments flatMap {
           case ts: Thicket => ts.trees.tail
           case t => Nil
-        } map { (t: Tree) => t match
-            // !cc! explicitly typed parameter (t: Tree) is needed since otherwise
-            // we get an error similar to #16268. (The explicit type constrains the type of `segments`
-            // which is otherwise List[{*} tree])
+        } map {
           case Block(Nil, EmptyTree) => Literal(Constant(())) // for s"... ${} ..."
           case Block(Nil, expr) => expr // important for interpolated string as patterns, see i1773.scala
           case t => t

tests/pos-with-compiler-cc/dotc/ast/Positioned.scala

@@ -15,7 +15,7 @@ import annotation.internal.sharable
 
 /** A base class for things that have positions (currently: modifiers and trees)
  */
-abstract class Positioned(implicit @constructorOnly src: SourceFile) extends SrcPos, Product, Cloneable, caps.Pure {
+abstract class Positioned(implicit @constructorOnly src: SourceFile) extends SrcPos, Product, Cloneable {
   import Positioned.{ids, nextId, debugId}
 
   private var mySpan: Span = _

tests/pos-with-compiler-cc/dotc/ast/TreeInfo.scala

@@ -14,10 +14,7 @@ import scala.collection.mutable
 
 import scala.annotation.tailrec
 
-trait TreeInfo[T >: Untyped <: Type] { self: Trees.Instance[T] =>
-
-  // Note: the <: Type constraint looks necessary (and is needed to make the file compile in dotc).
-  // But Scalac accepts the program happily without it. Need to find out why.
+trait TreeInfo[T <: Untyped] { self: Trees.Instance[T] =>
 
   def unsplice(tree: Trees.Tree[T]): Trees.Tree[T] = tree
 

tests/pos-with-compiler-cc/dotc/ast/TreeTypeMap.scala

@@ -7,7 +7,6 @@ import Types._, Contexts._, Flags._
 import Symbols._, Annotations._, Trees._, Symbols._, Constants.Constant
 import Decorators._
 import dotty.tools.dotc.transform.SymUtils._
-import language.experimental.pureFunctions
 
 /** A map that applies three functions and a substitution together to a tree and
  *  makes sure they are coordinated so that the result is well-typed. The functions are
@@ -33,8 +32,8 @@ import language.experimental.pureFunctions
  *  set, we would get a data race assertion error.
  */
 class TreeTypeMap(
-  val typeMap: Type -> Type = IdentityTypeMap,
-  val treeMap: tpd.Tree -> tpd.Tree = identity[tpd.Tree](_), // !cc! need explicit instantiation of default argument
+  val typeMap: Type => Type = IdentityTypeMap,
+  val treeMap: tpd.Tree => tpd.Tree = identity _,
   val oldOwners: List[Symbol] = Nil,
   val newOwners: List[Symbol] = Nil,
   val substFrom: List[Symbol] = Nil,
@@ -43,8 +42,8 @@ class TreeTypeMap(
   import tpd._
 
   def copy(
-      typeMap: Type -> Type,
-      treeMap: tpd.Tree -> tpd.Tree,
+      typeMap: Type => Type,
+      treeMap: tpd.Tree => tpd.Tree,
       oldOwners: List[Symbol],
       newOwners: List[Symbol],
       substFrom: List[Symbol],