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" (<a href="https://dlang.org/spec/statement.html#scope-guard-statement" rel="nofollow noreferrer">https://dlang.org/spec/statement.html#scope-guard-statement</a>).