From 4e3dd588155f74fc5bc2bbd66d938121fddd7c24 Mon Sep 17 00:00:00 2001 From: Douglas Creager Date: Mon, 15 Dec 2025 12:07:32 -0500 Subject: [PATCH] fix Class3 example --- .../resources/mdtest/generics/pep695/functions.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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 efe23ec727..4bd7964701 100644 --- a/crates/ty_python_semantic/resources/mdtest/generics/pep695/functions.md +++ b/crates/ty_python_semantic/resources/mdtest/generics/pep695/functions.md @@ -792,10 +792,11 @@ class ClassWithNewAndInit: def __new__(cls, *args, **kwargs) -> Self: raise NotImplementedError - def __init__(self) -> None: ... + def __init__(self, x: int) -> None: ... -# revealed: ((...) -> ClassWithNewAndInit) | (() -> ClassWithNewAndInit) +# revealed: ((...) -> ClassWithNewAndInit) | ((x: int) -> ClassWithNewAndInit) reveal_type(into_callable(ClassWithNewAndInit)) +# TODO: revealed: ((...) -> ClassWithNewAndInit) | ((x: int) -> ClassWithNewAndInit) # revealed: (...) -> ClassWithNewAndInit reveal_type(accepts_callable(ClassWithNewAndInit)) # revealed: ClassWithNewAndInit