From 69d6d4a453f6f72f10342211edce586bc2ae5cad Mon Sep 17 00:00:00 2001 From: Eric Traut Date: Fri, 13 Dec 2024 13:18:09 -0800 Subject: [PATCH] Fixed typo in code sample. --- docs/spec/overload.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/spec/overload.rst b/docs/spec/overload.rst index 6e574dca..074d540a 100644 --- a/docs/spec/overload.rst +++ b/docs/spec/overload.rst @@ -196,7 +196,7 @@ programming error and should be reported by type checkers. The purpose of this check is to prevent unsoundness of this form:: @overload - def is_one(x: Literal[0]) -> Literal[True]: ... + def is_one(x: Literal[1]) -> Literal[True]: ... @overload def is_one(x: int) -> Literal[False]: ...