> presumably you should be addressing these issues in your tests, not in production code What you may be missing is that this code will be guaranteed by MyPy t

> presumably you should be addressing these issues in your tests, not in production code What you may be missing is that this code will be guaranteed by MyPy to never actually run in production. In fact what it's effectively saying is "if this code can run, there's a type error", and therefore MyPy forces you to ensure that the code can never run.