[zozbot234]

> should you release an arena too early, you may have introduced a bug.

A memory safe programmming language will detect any such bugs and reject the program. This is not hard, it's a clean application of existing lifetime checks.

[_flux]

So are there some languages that do it? I'm sure the devil is in the details.