Scala 3 Capture Checking
dotty.epfl.ch