From 00b022d472a0a74dd234550e6e2dcddc802d7e4d Mon Sep 17 00:00:00 2001 From: Carl Meyer Date: Tue, 18 Feb 2025 12:52:17 -0800 Subject: [PATCH] [red-knot] update TODO comment in mdtest (#16242) This comment gave wrong/misleading info about the reason for the wrong output, just updating it to be correct to avoid confusing our future selves. --- .../resources/mdtest/binary/integers.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/crates/red_knot_python_semantic/resources/mdtest/binary/integers.md b/crates/red_knot_python_semantic/resources/mdtest/binary/integers.md index 042585e9ec..13969adf70 100644 --- a/crates/red_knot_python_semantic/resources/mdtest/binary/integers.md +++ b/crates/red_knot_python_semantic/resources/mdtest/binary/integers.md @@ -10,9 +10,8 @@ reveal_type(-3 // 3) # revealed: Literal[-1] reveal_type(-3 / 3) # revealed: float reveal_type(5 % 3) # revealed: Literal[2] -# TODO: This should emit an unsupported-operator error but we don't currently -# verify that the actual parameter to `int.__add__` matches the declared -# formal parameter type. +# TODO: Should emit `unsupported-operator` but we don't understand the bases of `str`, so we think +# it inherits `Unknown`, so we think `str.__radd__` is `Unknown` instead of nonexistent. reveal_type(2 + "f") # revealed: Unknown def lhs(x: int):