[mcosta]

I am pretty sure with a elaborate enough system with alias-forbidden types and resource managers you can do it.

with file.open as f do .... alias = f // fail done // autoclose

But then, is it really necessary?