@inthehands That makes sense. It's the same kind of thing Rust is trying to do.
The Rust variation frustrates me, since it requires proving things to a compiler, often in very inconvenient ways. Maybe Swift's version is better that way.
It *does* seem like the way the world is headed. I really dislike it in Rust.