From fc8fc9791203777c09c95b33570c8ad3ac9d51e7 Mon Sep 17 00:00:00 2001 From: sobolevn Date: Sat, 4 Jan 2025 12:30:55 +0300 Subject: [PATCH] Update test_maybe_like.yml --- .../test_specific/test_maybe/test_maybe_like.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/typesafety/test_interfaces/test_specific/test_maybe/test_maybe_like.yml b/typesafety/test_interfaces/test_specific/test_maybe/test_maybe_like.yml index fd4e5ec30..b3ac07219 100644 --- a/typesafety/test_interfaces/test_specific/test_maybe/test_maybe_like.yml +++ b/typesafety/test_interfaces/test_specific/test_maybe/test_maybe_like.yml @@ -37,7 +37,7 @@ - case: maybe_like_inheritance_wrong - disable_cache: false + disable_cache: true main: | from typing import TypeVar, Callable, Optional from returns.interfaces.specific.maybe import MaybeLike2 @@ -59,6 +59,7 @@ main:9: error: Return type "MyClass[Optional[N]]" of "bind_optional" incompatible with return type "KindN[MyClass[V], _UpdatedType, None, Never]" in supertype "MaybeLikeN" [override] main:15: error: Signature of "from_optional" incompatible with supertype "MaybeLikeN" [override] main:15: note: Superclass: + main:15: note: @classmethod main:15: note: def [_ValueType] from_optional(cls, inner_value: Optional[_ValueType]) -> KindN[MyClass[V], _ValueType, None, Never] main:15: note: Subclass: main:15: note: def [N] from_optional(self, inner_value: Optional[N]) -> MyClass[N]