Now you're entering a bit of a philosophical or subjective area in my opinion - I personally would want any code which is incorrect by construction to fail to c

Now you're entering a bit of a philosophical or subjective area in my opinion - I personally would want any code which is incorrect by construction to fail to compile (if possible) even if it was impossible to reach the code in question at runtime. A "false negative" like that is a feature IMO.