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

add todos

This commit is contained in:
Douglas Creager 2025-12-15 14:47:53 -05:00
parent d94b2d3578
commit 67ed2c4cdc
2 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
crates/ty_python_semantic/resources/mdtest/generics/legacy/functions.md
View File

@ -405,6 +405,10 @@ reveal_type(extract_t(Q[str]())) # revealed: str
Passing anything else results in an error:
```py
# TODO: We currently get an error for the specialization failure, and then another because the
# argument is not assignable to the (default-specialized) parameter annotation. We really only need
# one of them.
# error: [invalid-argument-type]
# error: [invalid-argument-type]
reveal_type(extract_t([1, 2])) # revealed: Unknown
```
@ -466,6 +470,10 @@ reveal_type(extract_optional_t(P[int]())) # revealed: int
Passing anything else results in an error:
```py
# TODO: We currently get an error for the specialization failure, and then another because the
# argument is not assignable to the (default-specialized) parameter annotation. We really only need
# one of them.
# error: [invalid-argument-type]
# error: [invalid-argument-type]
reveal_type(extract_optional_t(Q[str]())) # revealed: Unknown
```

8
crates/ty_python_semantic/resources/mdtest/generics/pep695/functions.md
View File

@ -358,6 +358,10 @@ reveal_type(extract_t(Q[str]())) # revealed: str
Passing anything else results in an error:
```py
# TODO: We currently get an error for the specialization failure, and then another because the
# argument is not assignable to the (default-specialized) parameter annotation. We really only need
# one of them.
# error: [invalid-argument-type]
# error: [invalid-argument-type]
reveal_type(extract_t([1, 2])) # revealed: Unknown
```
@ -417,6 +421,10 @@ reveal_type(extract_optional_t(P[int]())) # revealed: int
Passing anything else results in an error:
```py
# TODO: We currently get an error for the specialization failure, and then another because the
# argument is not assignable to the (default-specialized) parameter annotation. We really only need
# one of them.
# error: [invalid-argument-type]
# error: [invalid-argument-type]
reveal_type(extract_optional_t(Q[str]())) # revealed: Unknown
```