We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 91d4adc commit 69d6d4aCopy full SHA for 69d6d4a
docs/spec/overload.rst
@@ -196,7 +196,7 @@ programming error and should be reported by type checkers. The purpose of
196
this check is to prevent unsoundness of this form::
197
198
@overload
199
- def is_one(x: Literal[0]) -> Literal[True]: ...
+ def is_one(x: Literal[1]) -> Literal[True]: ...
200
201
def is_one(x: int) -> Literal[False]: ...
202
0 commit comments