I often use such error checking. Usually the value of such error message is in making the code easier to reason about, to further clarify some obscure use case

I often use such error checking. Usually the value of such error message is in making the code easier to reason about, to further clarify some obscure use case (which can't happen). And if it does happen anyway - well, at least we get that alert. ;)