Skip to content

Commit f3dccd5

Browse files
committed
Add capture checking to rest of scala.runtime (except TupledFunctions)
1 parent 76a9e8e commit f3dccd5

File tree

6 files changed

+12
-0
lines changed

6 files changed

+12
-0
lines changed

library/src/scala/runtime/TupleMirror.scala

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
11
package scala.runtime
22

3+
import language.experimental.captureChecking
4+
35
/** A concrete subclass of `scala.deriving.Mirror.Product`, enabling reduction of bytecode size.
46
* as we do not need to synthesize an anonymous Mirror class at every callsite.
57
*/

library/src/scala/runtime/TupleXXL.scala

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
11
package scala.runtime
22

3+
import language.experimental.captureChecking
4+
35
final class TupleXXL private (es: IArray[Object]) extends Product {
46
assert(es.length > 22)
57

library/src/scala/runtime/TupledFunctions.scala

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
11
package scala.runtime
22

3+
import language.experimental.captureChecking
4+
35
import scala.util.TupledFunction
46
import scala.annotation.experimental
57

library/src/scala/runtime/Tuples.scala

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
11
package scala.runtime
22

3+
import language.experimental.captureChecking
4+
35
object Tuples {
46

57
inline val MaxSpecialized = 22

library/src/scala/runtime/TypeBox.scala

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
11
package scala.runtime
22

3+
import language.experimental.captureChecking
4+
35
/** A type for skolems that are generated during capture conversion. Capture conversion
46
* narrows the type of a tree whose type has wildcard arguments. A typical situation
57
* is a tree `t` of type `C[_ >: L <: U]` and an expected type `C[X]` where `X` is an

library/src/scala/runtime/coverage/Invoker.scala

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
11
package scala.runtime.coverage
22

3+
import language.experimental.captureChecking
4+
35
import scala.annotation.internal.sharable
46
import scala.annotation.nowarn
57
import scala.collection.concurrent.TrieMap

0 commit comments

Comments
 (0)