Skip to content

Commit

Permalink
[red-knot] update TODO comment in mdtest
Browse files Browse the repository at this point in the history
  • Loading branch information
carljm committed Feb 18, 2025
1 parent a23e489 commit 87993a5
Showing 1 changed file with 2 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -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):
Expand Down

0 comments on commit 87993a5

Please sign in to comment.