Sure, there are of course runtime checks you can do (and I now do after having been bitten by this before), but that’s not necessarily better than having a stat

Sure, there are of course runtime checks you can do (and I now do after having been bitten by this before), but that’s not necessarily better than having a static analyzer which can guarantee correctness without executing a single line of code.