Skip to content

Commit 041bb24

Browse files
committed
use the last provisional value of cycle_fn
1 parent 2cfdf1d commit 041bb24

File tree

14 files changed

+524
-594
lines changed

14 files changed

+524
-594
lines changed

crates/ty_python_semantic/resources/mdtest/cycle.md

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -51,8 +51,6 @@ from typing import Generic, TypeVar
5151

5252
B = TypeVar("B", bound="Base")
5353

54-
# TODO: no error
55-
# error: [invalid-argument-type] "`typing.TypeVar | typing.TypeVar` is not a valid argument to `Generic`"
5654
class Base(Generic[B]):
5755
pass
5856
```

crates/ty_python_semantic/resources/mdtest/pep695_type_aliases.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -327,7 +327,7 @@ class C(P[T]):
327327
pass
328328

329329
reveal_type(C[int]()) # revealed: C[int]
330-
reveal_type(C()) # revealed: C[Divergent]
330+
reveal_type(C()) # revealed: C[C[Divergent]]
331331
```
332332

333333
### Union inside generic

0 commit comments

Comments
 (0)