Comment by dnautics

10 hours ago

In the future, tooling can run those checks statically on IR.

Unfortunately, it you want to handle errors right, it's overly verbose, so no one really does it. That's my problem really. Even in the blog post snippet, I could have show well behaved code, because I'm well aware of it, but then the error handling would be more code than the part I'm trying to showcase. Static analysis will not help there.

In the future, it would be good to not need to require that unwritten tooling