From 0966bca3f197c35d9c10cf9c3bf998579f148f7e Mon Sep 17 00:00:00 2001 From: Douglas Creager Date: Thu, 11 Dec 2025 16:55:15 -0500 Subject: [PATCH] these are legit --- .../resources/mdtest/generics/legacy/functions.md | 12 ++++-------- .../resources/mdtest/generics/pep695/functions.md | 12 ++++-------- 2 files changed, 8 insertions(+), 16 deletions(-) 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 c674f7a9a1..0ac4a1935f 100644 --- a/crates/ty_python_semantic/resources/mdtest/generics/legacy/functions.md +++ b/crates/ty_python_semantic/resources/mdtest/generics/legacy/functions.md @@ -89,13 +89,11 @@ def takes_in_protocol(x: CanIndex[T]) -> T: def deep_list(x: list[str]) -> None: reveal_type(takes_in_list(x)) # revealed: list[str] - # TODO: revealed: str - reveal_type(takes_in_protocol(x)) # revealed: Unknown + reveal_type(takes_in_protocol(x)) # revealed: str def deeper_list(x: list[set[str]]) -> None: reveal_type(takes_in_list(x)) # revealed: list[set[str]] - # TODO: revealed: set[str] - reveal_type(takes_in_protocol(x)) # revealed: Unknown + reveal_type(takes_in_protocol(x)) # revealed: set[str] def deep_explicit(x: ExplicitlyImplements[str]) -> None: reveal_type(takes_in_protocol(x)) # revealed: str @@ -116,12 +114,10 @@ class Sub(list[int]): ... class GenericSub(list[T]): ... reveal_type(takes_in_list(Sub())) # revealed: list[int] -# TODO: revealed: int -reveal_type(takes_in_protocol(Sub())) # revealed: Unknown +reveal_type(takes_in_protocol(Sub())) # revealed: int reveal_type(takes_in_list(GenericSub[str]())) # revealed: list[str] -# TODO: revealed: str -reveal_type(takes_in_protocol(GenericSub[str]())) # revealed: Unknown +reveal_type(takes_in_protocol(GenericSub[str]())) # revealed: str class ExplicitSub(ExplicitlyImplements[int]): ... class ExplicitGenericSub(ExplicitlyImplements[T]): ... 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 8121ce5d26..8edfea2225 100644 --- a/crates/ty_python_semantic/resources/mdtest/generics/pep695/functions.md +++ b/crates/ty_python_semantic/resources/mdtest/generics/pep695/functions.md @@ -84,13 +84,11 @@ def takes_in_protocol[T](x: CanIndex[T]) -> T: def deep_list(x: list[str]) -> None: reveal_type(takes_in_list(x)) # revealed: list[str] - # TODO: revealed: str - reveal_type(takes_in_protocol(x)) # revealed: Unknown + reveal_type(takes_in_protocol(x)) # revealed: str def deeper_list(x: list[set[str]]) -> None: reveal_type(takes_in_list(x)) # revealed: list[set[str]] - # TODO: revealed: set[str] - reveal_type(takes_in_protocol(x)) # revealed: Unknown + reveal_type(takes_in_protocol(x)) # revealed: set[str] def deep_explicit(x: ExplicitlyImplements[str]) -> None: reveal_type(takes_in_protocol(x)) # revealed: str @@ -111,12 +109,10 @@ class Sub(list[int]): ... class GenericSub[T](list[T]): ... reveal_type(takes_in_list(Sub())) # revealed: list[int] -# TODO: revealed: int -reveal_type(takes_in_protocol(Sub())) # revealed: Unknown +reveal_type(takes_in_protocol(Sub())) # revealed: int reveal_type(takes_in_list(GenericSub[str]())) # revealed: list[str] -# TODO: revealed: str -reveal_type(takes_in_protocol(GenericSub[str]())) # revealed: Unknown +reveal_type(takes_in_protocol(GenericSub[str]())) # revealed: str class ExplicitSub(ExplicitlyImplements[int]): ... class ExplicitGenericSub[T](ExplicitlyImplements[T]): ...