fix tests

This commit is contained in:
Douglas Creager 2025-12-02 21:49:03 -05:00
parent a0f64bd0ae
commit d3fd988337
1 changed files with 8 additions and 16 deletions

View File

@ -458,14 +458,10 @@ class C:
def f2(cls: type[C], x: int) -> str: def f2(cls: type[C], x: int) -> str:
return "a" return "a"
# TODO: revealed: str reveal_type(C.f1(1)) # revealed: str
reveal_type(C.f1(1)) # revealed: str | Divergent reveal_type(C().f1(1)) # revealed: str
# TODO: revealed: str reveal_type(C.f2(1)) # revealed: str
reveal_type(C().f1(1)) # revealed: str | Divergent reveal_type(C().f2(1)) # revealed: str
# TODO: revealed: str
reveal_type(C.f2(1)) # revealed: str | Divergent
# TODO: revealed: str
reveal_type(C().f2(1)) # revealed: str | Divergent
``` ```
### `__init_subclass__` ### `__init_subclass__`
@ -586,14 +582,10 @@ class C:
def f2(x: int) -> str: def f2(x: int) -> str:
return "a" return "a"
# TODO: revealed: str reveal_type(C.f1(1)) # revealed: str
reveal_type(C.f1(1)) # revealed: str | Divergent reveal_type(C().f1(1)) # revealed: str
# TODO: revealed: str reveal_type(C.f2(1)) # revealed: str
reveal_type(C().f1(1)) # revealed: str | Divergent reveal_type(C().f2(1)) # revealed: str
# TODO: revealed: str
reveal_type(C.f2(1)) # revealed: str | Divergent
# TODO: revealed: str
reveal_type(C().f2(1)) # revealed: str | Divergent
``` ```
### `__new__` ### `__new__`