We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent bfeaa46 commit 4da67a1Copy full SHA for 4da67a1
crates/ty_python_semantic/resources/mdtest/assignment/annotations.md
@@ -368,7 +368,7 @@ class Z[T]:
368
369
z1: Z[Any] = Z(1)
370
# TODO: This should reveal `Z[Any]`.
371
-reveal_type(z1) # revealed: Z[int]
+reveal_type(z1) # revealed: Z[Literal[1]]
372
```
373
374
## PEP-604 annotations are supported
@@ -669,7 +669,7 @@ x4 = invariant(1)
669
reveal_type(x1) # revealed: Bivariant[Literal[1]]
670
reveal_type(x2) # revealed: Covariant[Literal[1]]
671
reveal_type(x3) # revealed: Contravariant[Literal[1]]
672
-reveal_type(x4) # revealed: Invariant[Literal[1]]
+reveal_type(x4) # revealed: Invariant[int]
673
674
x5: Bivariant[Any] = bivariant(1)
675
x6: Covariant[Any] = covariant(1)
0 commit comments