"Coverage-instrumented builds can now disable coverage for a selected region of code, instead of excluding a whole file or class. Only the code between the markers is skipped by coverage instrumentation."
"Safe mode is a new experimental language subset intended for agent-generated or otherwise untrusted code. The compiler rejects unchecked casts and unchecked pattern matches, forbids escape hatches, and restricts access to global APIs."
"Safe code is meant to call a restricted set of APIs directly, while effectful or implementation-dependent behavior can still be exposed through wrappers marked @assumeSafe."
Scala 3.8.3 introduces local coverage exclusions, allowing selective coverage instrumentation for specific code regions. This is beneficial for generated or defensive code. Safe mode is a new experimental language subset for capability-safe code, requiring specific imports. It enhances safety by rejecting unchecked casts and pattern matches, restricting access to global APIs, and enabling capture checking. Safe code can call restricted APIs through wrappers marked @assumeSafe, ensuring that effectful operations are isolated from safe code, thus improving overall code safety and integrity.
Read at Scala-lang
Unable to calculate read time
Collection
[
|
...
]