[saagarjha]

Yes, and I'm usually happy the compiler is there to warn me. However, the compiler is not great at telling me why something might fail, which can make it difficult to provide decent error handling. And of course, there are certain places where the compiler just cannot know that a certain operation will not fail.

[ctdonath]

That's why you use it only when you can prove it won't fail. I'm ok with that, and said so at the start.