Escaping multiple times would be unnecessary with a type based system, by definition. Sure, no one should need to do that anymore, it's just an example. There

Escaping multiple times would be unnecessary with a type based system, by definition. Sure, no one should need to do that anymore, it's just an example. There are many other cases that are similar, however. `using` is a language construct, not something that is part of an interface. It also does not prevent close from being called twice.