add skeleton, need add logic for formatting error msg

python · JukkaL · Dec 3, 2019 · Nov 19, 2019 · Nov 21, 2019 · Nov 21, 2019
commit a55c84c4d1ed33fff0f96806b40d945a2e5891af
diff --git a/mypy/checker.py b/mypy/checker.py
@@ -4027,7 +4027,9 @@ def check_subtype(self,
 
         subtype = get_proper_type(subtype)
         supertype = get_proper_type(supertype)
-
+        if self.check_tuple_assignment(subtype, supertype, context, msg,
+                                       subtype_label, supertype_label, code=code):
+            return False
         if self.should_suppress_optional_error([subtype]):
             return False
         extra_info = []  # type: List[str]
@@ -4378,6 +4380,22 @@ def infer_issubclass_maps(self, node: CallExpr,
         yes_map, no_map = map(convert_to_typetype, (yes_map, no_map))
         return yes_map, no_map
 
+    def check_tuple_assignment(self,
+                               subtype: ProperType,
+                               supertype: ProperType,
+                               context: Context,
+                               msg: str = message_registry.INCOMPATIBLE_TYPES,
+                               subtype_label: Optional[str] = None,
+                               supertype_label: Optional[str] = None,
+                               code: Optional[ErrorCode] = None) -> bool:
+        if (isinstance(subtype, TupleType)
+            and isinstance(supertype, Instance)
+                and supertype.type.fullname == 'builtins.tuple'):
+            # TODO:
+            self.fail("error message", context, code=code)
+            return True
+        return False
+
 
 def conditional_type_map(expr: Expression,
                          current_type: Optional[Type],