Python
/
ruff
mirror of https://github.com/astral-sh/ruff
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

todo for this bivariance test

This commit is contained in:
Douglas Creager 2025-12-15 21:59:21 -05:00
parent 4be6d19e5a
commit 6fb49eccf8
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
crates/ty_python_semantic/resources/mdtest/assignment/annotations.md
View File

@ -594,7 +594,8 @@ x6: Covariant[Any] = covariant(1)
x7: Contravariant[Any] = contravariant(1) x7: Contravariant[Any] = contravariant(1)
x8: Invariant[Any] = invariant(1) x8: Invariant[Any] = invariant(1)
reveal_type(x5) # revealed: Bivariant[Any] # TODO: revealed: Bivariant[Any]
reveal_type(x5) # revealed: Bivariant[Literal[1]]
reveal_type(x6) # revealed: Covariant[Any] reveal_type(x6) # revealed: Covariant[Any]
reveal_type(x7) # revealed: Contravariant[Any] reveal_type(x7) # revealed: Contravariant[Any]
reveal_type(x8) # revealed: Invariant[Any] reveal_type(x8) # revealed: Invariant[Any]