Change TODO comment

This commit is contained in:
David Peter 2025-09-24 15:48:43 +02:00
parent df73d616be
commit eea69f2357

View file

@ -313,7 +313,7 @@ python-version = "3.11"
```py
class Explicit:
# TODO: Should warn the user if self is overriden with a type that is not subtype of the class
# TODO: We could emit a warning if the annotated type of `self` is disjoint from `Explicit`
def bad(self: int) -> None:
reveal_type(self) # revealed: int