From 13ea4e5d0e2b05a88e3f488e91bd74461ecd974f Mon Sep 17 00:00:00 2001 From: Matthew Mckee Date: Wed, 16 Apr 2025 12:19:48 +0100 Subject: [PATCH] [red-knot] Fix comments in type_api.md (#17425) --- crates/red_knot_python_semantic/resources/mdtest/type_api.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/crates/red_knot_python_semantic/resources/mdtest/type_api.md b/crates/red_knot_python_semantic/resources/mdtest/type_api.md index 5df7093c12..d68656d725 100644 --- a/crates/red_knot_python_semantic/resources/mdtest/type_api.md +++ b/crates/red_knot_python_semantic/resources/mdtest/type_api.md @@ -27,8 +27,8 @@ def negate(n1: Not[int], n2: Not[Not[int]], n3: Not[Not[Not[int]]]) -> None: n: Not[int, str] def static_truthiness(not_one: Not[Literal[1]]) -> None: - # these are both boolean-literal types, - # since all possible runtime objects that are created by the literal syntax `1` + # TODO: `bool` is not incorrect, but these would ideally be `Literal[True]` and `Literal[False]` + # respectively, since all possible runtime objects that are created by the literal syntax `1` # are members of the type `Literal[1]` reveal_type(not_one is not 1) # revealed: bool reveal_type(not_one is 1) # revealed: bool