diff --git a/crates/ty_python_semantic/resources/mdtest/generics/legacy/functions.md b/crates/ty_python_semantic/resources/mdtest/generics/legacy/functions.md index 0ac4a1935f..d0a2d65e71 100644 --- a/crates/ty_python_semantic/resources/mdtest/generics/legacy/functions.md +++ b/crates/ty_python_semantic/resources/mdtest/generics/legacy/functions.md @@ -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 ``` diff --git a/crates/ty_python_semantic/resources/mdtest/generics/pep695/functions.md b/crates/ty_python_semantic/resources/mdtest/generics/pep695/functions.md index 8edfea2225..ffb046c580 100644 --- a/crates/ty_python_semantic/resources/mdtest/generics/pep695/functions.md +++ b/crates/ty_python_semantic/resources/mdtest/generics/pep695/functions.md @@ -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 ```