Simple function to do a compile-time check for unreachability and to throw the prescribed runtime error is it is bypassed.
