From f624bfdf634ddea0cb3cc71c67bd756318e2b481 Mon Sep 17 00:00:00 2001 From: Douglas Creager Date: Thu, 11 Dec 2025 16:21:30 -0500 Subject: [PATCH] clean up the diff --- .../mdtest/generics/pep695/paramspec.md | 16 +++++----------- 1 file changed, 5 insertions(+), 11 deletions(-) diff --git a/crates/ty_python_semantic/resources/mdtest/generics/pep695/paramspec.md b/crates/ty_python_semantic/resources/mdtest/generics/pep695/paramspec.md index a1224e9657..ad79682577 100644 --- a/crates/ty_python_semantic/resources/mdtest/generics/pep695/paramspec.md +++ b/crates/ty_python_semantic/resources/mdtest/generics/pep695/paramspec.md @@ -656,24 +656,18 @@ def with_parameters[**P](f: Callable[P, int], *args: P.args, **kwargs: P.kwargs) return str(f(*args, **kwargs)) return nested -# revealed: Overload[(x: int) -> str, (x: str) -> str] -reveal_type(change_return_type(int_int)) +reveal_type(change_return_type(int_int)) # revealed: Overload[(x: int) -> str, (x: str) -> str] # TODO: This shouldn't error and should pick the first overload because of the return type # error: [invalid-argument-type] -# revealed: Overload[(x: int) -> str, (x: str) -> str] -reveal_type(change_return_type(int_str)) +reveal_type(change_return_type(int_str)) # revealed: Overload[(x: int) -> str, (x: str) -> str] -# TODO: revealed: Overload[(x: int) -> str, (x: str) -> str] # error: [invalid-argument-type] -# revealed: (...) -> str -reveal_type(change_return_type(str_str)) +reveal_type(change_return_type(str_str)) # revealed: (...) -> str # TODO: Both of these shouldn't raise an error # error: [invalid-argument-type] -# revealed: Overload[(x: int) -> str, (x: str) -> str] -reveal_type(with_parameters(int_int, 1)) +reveal_type(with_parameters(int_int, 1)) # revealed: Overload[(x: int) -> str, (x: str) -> str] # error: [invalid-argument-type] -# revealed: Overload[(x: int) -> str, (x: str) -> str] -reveal_type(with_parameters(int_int, "a")) +reveal_type(with_parameters(int_int, "a")) # revealed: Overload[(x: int) -> str, (x: str) -> str] ```