Capture-Checking

Notes on capture checking, an experimental Scala 3 type-system feature that tracks which capabilities - open files, connections or other resources, a value’s type has closed over.