From fedc75463bdcc404ad3380ab2bb713e2ef7f4a78 Mon Sep 17 00:00:00 2001 From: Douglas Creager Date: Wed, 26 Nov 2025 18:12:26 -0500 Subject: [PATCH] this gets recursively expanded now --- .../resources/mdtest/generics/legacy/functions.md | 3 +-- .../resources/mdtest/generics/pep695/functions.md | 3 +-- .../ty_python_semantic/resources/mdtest/literal_promotion.md | 2 +- 3 files changed, 3 insertions(+), 5 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 bbe7a896e3..c00f8d11b1 100644 --- a/crates/ty_python_semantic/resources/mdtest/generics/legacy/functions.md +++ b/crates/ty_python_semantic/resources/mdtest/generics/legacy/functions.md @@ -385,8 +385,7 @@ def identity(x: T, /) -> T: def head(xs: list[T], /) -> T: return xs[0] -# TODO: this should be `Literal[1]` -reveal_type(invoke(identity, 1)) # revealed: Unknown +reveal_type(invoke(identity, 1)) # revealed: Literal[1] # TODO: this should be `Unknown | int` reveal_type(invoke(head, [1, 2, 3])) # 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 19e5e31250..1efddfe50f 100644 --- a/crates/ty_python_semantic/resources/mdtest/generics/pep695/functions.md +++ b/crates/ty_python_semantic/resources/mdtest/generics/pep695/functions.md @@ -340,8 +340,7 @@ def identity[T](x: T, /) -> T: def head[T](xs: list[T], /) -> T: return xs[0] -# TODO: this should be `Literal[1]` -reveal_type(invoke(identity, 1)) # revealed: Unknown +reveal_type(invoke(identity, 1)) # revealed: Literal[1] # TODO: this should be `Unknown | int` reveal_type(invoke(head, [1, 2, 3])) # revealed: Unknown diff --git a/crates/ty_python_semantic/resources/mdtest/literal_promotion.md b/crates/ty_python_semantic/resources/mdtest/literal_promotion.md index eb79c44b6c..65fc1c1602 100644 --- a/crates/ty_python_semantic/resources/mdtest/literal_promotion.md +++ b/crates/ty_python_semantic/resources/mdtest/literal_promotion.md @@ -304,7 +304,7 @@ x11: list[Literal[1] | Literal[2] | Literal[3]] = [1, 2, 3] reveal_type(x11) # revealed: list[Literal[1, 2, 3]] x12: Y[Y[Literal[1]]] = [[1]] -reveal_type(x12) # revealed: list[Y[Literal[1]]] +reveal_type(x12) # revealed: list[list[Literal[1]]] x13: list[tuple[Literal[1], Literal[2], Literal[3]]] = [(1, 2, 3)] reveal_type(x13) # revealed: list[tuple[Literal[1], Literal[2], Literal[3]]]