Upgrade to scala-library 2.13.1

.drone.yml

@@ -27,7 +27,7 @@ steps:
 
 - name: test
   pull: default
-  image: lampepfl/dotty:2019-09-10
+  image: lampepfl/dotty:2019-09-19
   depends_on: [ clone ]
   commands:
   - cp -R . /tmp/1/ && cd /tmp/1/
@@ -36,7 +36,7 @@ steps:
 
 - name: test_bootstrapped
   pull: default
-  image: lampepfl/dotty:2019-09-10
+  image: lampepfl/dotty:2019-09-19
   depends_on: [ clone ]
   commands:
   - cp -R . /tmp/2/ && cd /tmp/2/
@@ -45,7 +45,7 @@ steps:
 
 - name: community_build
   pull: default
-  image: lampepfl/dotty:2019-09-10
+  image: lampepfl/dotty:2019-09-19
   depends_on: [ clone ]
   commands:
   - cp -R . /tmp/3/ && cd /tmp/3/
@@ -55,7 +55,7 @@ steps:
 
 - name: test_sbt
   pull: default
-  image: lampepfl/dotty:2019-09-10
+  image: lampepfl/dotty:2019-09-19
   depends_on: [ clone ]
   commands:
   - cp -R . /tmp/4/ && cd /tmp/4/
@@ -67,7 +67,7 @@ steps:
 
 - name: test_java11
   pull: default
-  image: lampepfl/dotty:2019-09-10
+  image: lampepfl/dotty:2019-09-19
   depends_on: [ clone ]
   commands:
   - export PATH="/usr/lib/jvm/java-11-openjdk-amd64/bin:$PATH"
@@ -81,7 +81,7 @@ steps:
 
 - name: documentation
   pull: default
-  image: lampepfl/dotty:2019-09-10
+  image: lampepfl/dotty:2019-09-19
   depends_on:
   - test
   - test_bootstrapped
@@ -100,7 +100,7 @@ steps:
 
 - name: publish_nightly
   pull: default
-  image: lampepfl/dotty:2019-09-10
+  image: lampepfl/dotty:2019-09-19
   depends_on:
   - test
   - test_bootstrapped
@@ -127,7 +127,7 @@ steps:
 
 - name: publish_release
   pull: default
-  image: lampepfl/dotty:2019-09-10
+  image: lampepfl/dotty:2019-09-19
   depends_on:
   - test
   - test_bootstrapped
@@ -170,7 +170,7 @@ steps:
 
 - name: publish_sbt_release
   pull: default
-  image: lampepfl/dotty:2019-09-10
+  image: lampepfl/dotty:2019-09-19
   depends_on:
   - test
   - test_bootstrapped

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

@@ -362,16 +362,13 @@ object Trees {
           val nameStart =
             if (point != span.start) point
             else {
-              // Use an immutable ArraySeq to work around https://github.com/scala/bug/issues/11708
-              val content = collection.immutable.ArraySeq.unsafeWrapArray(source.content())
-
               // Point might be too far away from start to be recorded. In this case we fall back to scanning
               // forwards from the start offset for the name.
               // Note: This might be inaccurate since scanning might hit accidentally the same
               // name (e.g. in a comment) before finding the real definition.
               // To make this behavior more robust we'd have to change the trees for definitions to contain
               // a fully positioned Ident in place of a name.
-              val idx = content.indexOfSlice(realName, point)
+              val idx = source.content().indexOfSlice(realName, point)
               if (idx >= 0) idx
               else point // use `point` anyway. This is important if no source exists so scanning fails
             }

project/Build.scala

@@ -2,7 +2,7 @@ import java.io.File
 import java.nio.file._
 
 import Modes._
-import com.typesafe.sbt.pgp.PgpKeys
+import com.jsuereth.sbtpgp.PgpKeys
 import sbt.Keys._
 import sbt._
 import complete.DefaultParsers._
@@ -77,8 +77,8 @@ object Build {
    *  scala-library.
    */
   def stdlibVersion(implicit mode: Mode): String = mode match {
-    case NonBootstrapped => "2.13.0"
-    case Bootstrapped => "2.13.0"
+    case NonBootstrapped => "2.13.1"
+    case Bootstrapped => "2.13.1"
   }
 
   val dottyOrganization = "ch.epfl.lamp"

project/plugins.sbt

@@ -6,7 +6,7 @@ addSbtPlugin("org.scala-js" % "sbt-scalajs" % "1.0.0-M8")
 
 addSbtPlugin("org.xerial.sbt" % "sbt-sonatype" % "3.6")
 
-addSbtPlugin("com.jsuereth" % "sbt-pgp" % "2.0.0-M2")
+addSbtPlugin("com.jsuereth" % "sbt-pgp" % "2.0.0")
 
 addSbtPlugin("org.xerial.sbt" % "sbt-pack" % "0.10.1")