-
-
Notifications
You must be signed in to change notification settings - Fork 3.1k
Open
Labels
bugmypy got something wrongmypy got something wrong
Description
Bug Report
In a case that mypy deems impossible (i.e. type narrowed to NoReturn), it's currently impossible to cause assert_type to fail.
Similarly, reveal_type has no effect in the case of NoReturn.
To Reproduce
Expected Behavior
Three assert_type failures.
Actual Behavior
Only one assert_type failure.
Metadata
Metadata
Assignees
Labels
bugmypy got something wrongmypy got something wrong