make ci happy

Author: LiuYuHui

mypy/checker.py

@@ -947,12 +947,12 @@ def check_func_def(self, defn: FuncItem, typ: CallableType, name: Optional[str])
                             if ctx.line < 0:
                                 ctx = typ
                             self.fail(message_registry.FUNCTION_PARAMETER_CANNOT_BE_COVARIANT, ctx)
-                    elif (isinstance(arg_type, Instance)
+                    elif (isinstance(get_proper_type(arg_type), Instance)
                             and arg_type.type.fullname == 'builtins.list'
-                            and isinstance(self.iterable_item_type(arg_type), TypeVarType)
-                            and self.iterable_item_type(arg_type).variance == COVARIANT):
-                        message = "Cannot use a covariant type variable as a parameter"
-                        self.fail(message, arg_type)
+                            and isinstance(self.iterable_item_type(arg_type), TypeVarType)):
+                        if(self.iterable_item_type(arg_type).variance == COVARIANT):
+                            message = "Cannot use a covariant type variable as a parameter"
+                            self.fail(message, arg_type)
                     if typ.arg_kinds[i] == nodes.ARG_STAR:
                         # builtins.tuple[T] is typing.Tuple[T, ...]
                         arg_type = self.named_generic_type('builtins.tuple',