Workaround scala#11247

nmcb · Feb 4, 2021 · 4953991 · 4953991
1 parent b850f2a
commit 4953991
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/bench-run/src/main/scala/dotty/tools/benchmarks/tuples/TupleOps.scala b/bench-run/src/main/scala/dotty/tools/benchmarks/tuples/TupleOps.scala
@@ -50,7 +50,7 @@ class TupleOps {
   def tupleMergeSort(tuple: Tuple): Tuple =
     if (tuple.size <= 1) tuple
     else {
-      val (tuple1, tuple2) = tuple.splitAt(tuple.size / 2)
+      val (tuple1: Tuple, tuple2: Tuple) = tuple.splitAt(tuple.size / 2) // TODO remove ascriptions when #11247 is fixed
       val (sorted1, sorted2) = (tupleMergeSort(tuple1), tupleMergeSort(tuple2))
       tupleMerge(sorted1, sorted2)
     }

diff --git a/library/src/scala/Tuple.scala b/library/src/scala/Tuple.scala
@@ -70,9 +70,7 @@ sealed trait Tuple extends Product {
    *  consisting of the first n elements, and the tuple `(an+1, ..., am)` consisting
    *  of the remaining elements.
    */
-  // FIXME remove transparent
-  //       failure in bench-run/src/main/scala/dotty/tools/benchmarks/tuples/TupleOps.scala
-  transparent inline def splitAt[This >: this.type <: Tuple](n: Int): Split[This, n.type] =
+  inline def splitAt[This >: this.type <: Tuple](n: Int): Split[This, n.type] =
     runtime.Tuples.splitAt(this, n).asInstanceOf[Split[This, n.type]]
 }