Fixed multiple issues I missed in the typesafety tests update

Author: Jazzinghen

typesafety/test_curry/test_curry/test_curry_generics.yml

@@ -7,10 +7,10 @@
     T = TypeVar('T')
 
     @curry
-    def zero(arg: List[T]) -> T:
+    def zero(arg: list[T]) -> T:
         ...
 
-    x: List[int]
+    x: list[int]
 
     reveal_type(zero)  # N: Revealed type is "def [T] (arg: builtins.list[T`-1]) -> T`-1"
     reveal_type(zero(x))  # N: Revealed type is "builtins.int"
@@ -25,10 +25,10 @@
     T = TypeVar('T')
 
     @curry
-    def zero(arg: List[T], other: int) -> T:
+    def zero(arg: list[T], other: int) -> T:
         ...
 
-    x: List[int]
+    x: list[int]
 
     reveal_type(zero)  # N: Revealed type is "Overload(def [T] (arg: builtins.list[T`-1]) -> def (other: builtins.int) -> T`-1, def [T] (arg: builtins.list[T`-1], other: builtins.int) -> T`-1)"
     reveal_type(zero(x))  # N: Revealed type is "def (other: builtins.int) -> builtins.int"
@@ -45,11 +45,11 @@
     T = TypeVar('T')
 
     @curry
-    def zero(arg: int, other: List[T]) -> T:
+    def zero(arg: int, other: list[T]) -> T:
         ...
 
-    x: List[int]
-    y: List[str]
+    x: list[int]
+    y: list[str]
 
     reveal_type(zero(1)(x))  # N: Revealed type is "builtins.int"
     reveal_type(zero(1, x))  # N: Revealed type is "builtins.int"
@@ -67,10 +67,10 @@
     T = TypeVar('T')
 
     @curry
-    def zero(arg: T, other: List[T]) -> T:
+    def zero(arg: T, other: list[T]) -> T:
         ...
 
-    x: List[int]
+    x: list[int]
 
     reveal_type(zero)  # N: Revealed type is "Overload(def [T] (arg: T`-1) -> def [T] (other: builtins.list[T`-1]) -> T`-1, def [T] (arg: T`-1, other: builtins.list[T`-1]) -> T`-1)"
     reveal_type(zero(1))  # N: Revealed type is "def [T] (other: builtins.list[T`2]) -> T`2"

typesafety/test_curry/test_partial/test_partial_arguments.yml

@@ -135,7 +135,7 @@
         def __call__(self, arg: int, other: str) -> None:
             ...
 
-    x: Union[Inst, Other]
+    x: Inst | Other
     reveal_type(partial(x))
     # This does not work as well:
     reveal_type(partial(x, 1))

typesafety/test_curry/test_partial/test_partial_generic.yml

@@ -7,13 +7,13 @@
     T = TypeVar('T')
 
     def multiple(
-        a: List[T],
-        b: List[T],
+        a: list[T],
+        b: list[T],
     ) -> T:
         ...
 
-    x: List[int]
-    y: List[str]
+    x: list[int]
+    y: list[str]
 
     reveal_type(partial(multiple, x)(y))
   out: |
@@ -30,13 +30,13 @@
     T = TypeVar('T')
 
     def multiple(
-        a: List[T],
-        b: List[T],
+        a: list[T],
+        b: list[T],
     ) -> T:
         ...
 
-    x: List[int]
-    y: List[int]
+    x: list[int]
+    y: list[int]
 
     reveal_type(partial(multiple, x)(y))
   out: |
@@ -53,12 +53,12 @@
 
     def multiple(
         a: int,
-        b: List[T],
+        b: list[T],
         c: bool = False,
     ) -> T:
         ...
 
-    x: List[int]
+    x: list[int]
 
     reveal_type(partial(multiple))
     reveal_type(partial(multiple, 1))
@@ -91,13 +91,13 @@
     def multiple(
         a: int,
         *,
-        b: List[B],
-        c: List[A],
-    ) -> Union[A, B]:
+        b: list[B],
+        c: list[A],
+    ) -> A | B:
         ...
 
-    x: List[int]
-    y: List[str]
+    x: list[int]
+    y: list[str]
 
     reveal_type(partial(multiple))
     reveal_type(partial(multiple, 1))
@@ -126,13 +126,13 @@
     def multiple(
         a: int,
         *,
-        b: List[B],
-        c: List[A],
-    ) -> Union[A, B]:
+        b: list[B],
+        c: list[A],
+    ) -> A | B:
         ...
 
-    x: List[int]
-    y: List[str]
+    x: list[int]
+    y: list[str]
     reveal_type(partial(multiple, 1, c=y, b=x))
 
     reveal_type(partial(multiple, 1, b=x)(c=y))

typesafety/test_curry/test_partial/test_partial_overload.yml

@@ -93,22 +93,22 @@
     T = TypeVar('T')
 
     @overload
-    def two_args(a: int, b: List[T]) -> T:
+    def two_args(a: int, b: list[T]) -> T:
         ...
 
     @overload
-    def two_args(a: int, b: Set[T]) -> T:
+    def two_args(a: int, b: set[T]) -> T:
         ...
 
     @overload
-    def two_args(a: List[T], b: Set[T]) -> T:
+    def two_args(a: list[T], b: set[T]) -> T:
         ...
 
     def two_args(a, b):
         ...
 
-    x: List[float]
-    y: Set[float]
+    x: list[float]
+    y: set[float]
 
     reveal_type(partial(two_args))
     reveal_type(partial(two_args, 1))
@@ -135,22 +135,22 @@
     B = TypeVar('B')
 
     @overload
-    def two_args(a: int, b: List[A]) -> A:
+    def two_args(a: int, b: list[A]) -> A:
         ...
 
     @overload
-    def two_args(a: int, b: List[B]) -> B:
+    def two_args(a: int, b: list[B]) -> B:
         ...
 
     @overload
-    def two_args(a: List[A], b: List[B]) -> Union[A, B]:
+    def two_args(a: list[A], b: list[B]) -> A | B:
         ...
 
     def two_args(a, b):
         ...
 
-    a: List[float]
-    b: List[str]
+    a: list[float]
+    b: list[str]
 
     reveal_type(partial(two_args))
     reveal_type(partial(two_args, 1))

typesafety/test_examples/test_your_container/test_pair4_def.yml

@@ -15,5 +15,5 @@
     my_pair: Pair[int, str] = Pair.from_paired(1, 'a')
     reveal_type(my_pair.pair(function))
   out: |
-    main:4: note: Revealed type is "Any"
-    main:10: note: Revealed type is "Any"
+    main:4: note: Revealed type is "def [_FirstType, _SecondType] (inner_value: tuple[_FirstType`1, _SecondType`2]) -> test_pair4.Pair[_FirstType`1, _SecondType`2]"
+    main:10: note: Revealed type is "test_pair4.Pair[builtins.float, builtins.bool]"

typesafety/test_examples/test_your_container/test_pair4_reuse.yml

@@ -11,5 +11,5 @@
     reveal_type(my_pair.map(str))
     reveal_type(map_(str)(my_pair))
   out: |
-    main:5: note: Revealed type is "Any"
-    main:6: note: Revealed type is "Any"
+    main:5: note: Revealed type is "test_pair4.Pair[builtins.str, builtins.int]"
+    main:6: note: Revealed type is "test_pair4.Pair[builtins.str, builtins.int]"

typesafety/test_functions/test_not_.yml

@@ -14,7 +14,7 @@
     from returns.functions import not_
     from typing import List
 
-    def number_is_in_list(number: int, list_: List[int]) -> bool:
+    def number_is_in_list(number: int, list_: list[int]) -> bool:
         return number in list_
 
     reveal_type(not_(number_is_in_list))  # N: Revealed type is "def (number: builtins.int, list_: builtins.list[builtins.int]) -> builtins.bool"

typesafety/test_interfaces/test_specific/test_future/test_futurelike_inheritance.yml

@@ -55,7 +55,7 @@
         ...
 
     x: Future[int]
-    reveal_type(MyClass.from_future(x).bind_future(test1).bind_async_future(test2).bind_async(test3))  # N: Revealed type is "tmp1_9rpu4l.MyClass[builtins.str]"
+    reveal_type(MyClass.from_future(x).bind_future(test1).bind_async_future(test2).bind_async(test3))  # N: Revealed type is "main.MyClass[builtins.str]"
 
 
 - case: future_inheritance_correct2

typesafety/test_interfaces/test_specific/test_future_result/test_future_result_like.yml

@@ -41,7 +41,7 @@
         ...
 
     x: MyClass[int, str]
-    reveal_type(x.bind_future_result(test))  # N: Revealed type is "tmp417ocr_v.MyClass[builtins.float, builtins.str]"
+    reveal_type(x.bind_future_result(test))  # N: Revealed type is "main.MyClass[builtins.float, builtins.str]"
 
 
 - case: future_result_inheritance_missing

typesafety/test_interfaces/test_specific/test_io/test_io_like.yml

@@ -83,6 +83,7 @@
     main:15: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#incompatible-overrides
     main:19: error: Signature of "from_io" incompatible with supertype "returns.interfaces.specific.io.IOLikeN"  [override]
     main:19: note:      Superclass:
+    main:19: note:          @classmethod
     main:19: note:          def [_UpdatedType] from_io(cls, inner_value: IO[_UpdatedType]) -> KindN[MyClass[_ValueType], _UpdatedType, Never, Never]
     main:19: note:      Subclass:
     main:19: note:          def [_NewValueType] from_io(self, inner_value: IO[_NewValueType]) -> MyClass[_NewValueType]