The specs look good but "again" this is a problem that's been solved by other languages since years, I think particularily to D "scope guards" (https://dlang.org/spec/statement.html#scope-guard-statement).