idk what wrong with Nothing type

Author: romanmatveevsky

docs/pages/result.rst

@@ -143,13 +143,14 @@ partition
 
 :func:`partition <returns.result.partition>` is used to convert
 list of ``Result`` instances to a tuple of two lists: successes and failures.
-  .. code:: python
 
-      >>> from returns.result import Failure, Success
-      >>> from returns.methods import partition
-      >>> results = [Success(1), Failure(2), Success(3), Failure(4)]
-      >>> partition(results)
-      ([1, 3], [2, 4])
+.. code:: python
+
+    >>> from returns.result import Failure, Success
+    >>> from returns.methods import partition
+    >>> results = [Success(1), Failure(2), Success(3), Failure(4)]
+    >>> partition(results)
+    ([1, 3], [2, 4])
 
 FAQ
 ---

tests/test_result/test_result_methods.py

@@ -2,6 +2,7 @@
 import pytest
 
 from returns.io import IO, IOResult
+from returns.maybe import Nothing, Some
 from returns.methods import partition
 from returns.result import Failure, Success
 
@@ -19,6 +20,10 @@
         ),
         ([IO(1), IO(2)], [IO(None)]),
     ),
+    (
+        (Some(1), Some(2), Nothing),
+        ([1, 2], []),
+    ),
 ])
 def test_partition(containers, expected):
     """Test partition function."""

typesafety/test_methods/test_partition.yml

@@ -19,3 +19,14 @@
     x: Tuple[IOResult[int, str], IOResult[int, str]]
     reveal_type(partition(x))  # N: Revealed type is "Tuple[builtins.list[returns.io.IO[builtins.int]], builtins.list[returns.io.IO[builtins.str]]]"
 
+- case: partition_maybe
+  disable_cache: false
+  main: |
+    from typing import List, Tuple, Never
+    from returns.maybe import Maybe, Some, Nothing, Maybe, _Nothing
+    from returns.methods import partition
+
+    x: Tuple[Some[int], Some[int], Maybe[None]]
+
+    reveal_type(partition(x))  # N: Revealed type is "Tuple[builtins.list[builtins.int], builtins.list[None]]"
+