From 9c79117af566dcf906bda5328e9d93cf716d76db Mon Sep 17 00:00:00 2001 From: Alex Waygood Date: Sat, 26 Apr 2025 15:16:26 +0100 Subject: [PATCH] wip --- crates/red_knot_python_semantic/resources/mdtest/protocols.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/crates/red_knot_python_semantic/resources/mdtest/protocols.md b/crates/red_knot_python_semantic/resources/mdtest/protocols.md index 8ef65dfd03..2d58d0abfa 100644 --- a/crates/red_knot_python_semantic/resources/mdtest/protocols.md +++ b/crates/red_knot_python_semantic/resources/mdtest/protocols.md @@ -294,8 +294,8 @@ runtime -- these reveal `bool` rather than `Literal[True]` or `Literal[False]`, incorrect: ```py -typing_extensions.reveal_type(typing.Protocol is typing_extensions.Protocol) # revealed: bool -typing_extensions.reveal_type(typing.Protocol is not typing_extensions.Protocol) # revealed: bool +reveal_type(typing.Protocol is typing_extensions.Protocol) # revealed: bool +reveal_type(typing.Protocol is not typing_extensions.Protocol) # revealed: bool ``` ## Calls to protocol classes