In addition to broader abstractions making code more readable and providing developers with less footguns in getting the isolation wrong, it also gives the comp

In addition to broader abstractions making code more readable and providing developers with less footguns in getting the isolation wrong, it also gives the compiler more opportunity to both default to safety (such as with structured concurrency proposal) and optimize protection and object allocation/retention patterns.