Yichen Xu

## Compiler version `main` ## Minimized code ```Scala import language.experimental.captureChecking trait Box[Cap^]: def store(f: (() -> Unit)^{Cap^}): Unit def run[Cap^](f: Box[Cap]^{Cap^} => Unit): Box[Cap]^{Cap^} = new Box[Cap]: private var item:...

Pickling test fails for annotated types

2

*(taken from `tests/pos/i15922.scala` in #15948)* ## Compiler version `main` ## Minimized code ```Scala trait Cap: type M class Id[X] object Test: def withCap[X](op: Cap => X): X = ??? class...

Better error reporting for box adaptation failures

9

## Compiler version `main` ## Minimized code ```Scala import language.experimental.captureChecking import scala.collection.mutable.ListBuffer class MyContainer: private val consumers = ListBuffer.empty[() => Unit] private def execute(): Unit = for consumer Unit) =>...

This is the first step of supporting better error reporting for CC.