Update mypy/suggestions.py

Co-Authored-By: Ivan Levkivskyi <levkivskyi@gmail.com>
python · Nov 2, 2019 · 1fa48db · 1fa48db
1 parent c7987c4
commit 1fa48db
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mypy/suggestions.py b/mypy/suggestions.py
@@ -871,7 +871,7 @@ def refine_type(ti: Type, si: Type) -> Type:
       refine(Optional[Any], int) = Optional[int]
       refine(Optional[Any], Optional[int]) = Optional[int]
       refine(Optional[Any], Union[int, str]) = Optional[Union[int, str]]
-      refine(Optional[List[Any]], List[int]) = List[int]
+      refine(Optional[List[Any]], List[int]) = Optional[List[int]]
 
     """
     t = get_proper_type(ti)