Use type instead of Type in errors on newer Python (#15139)

Fixes #13027 (or at least half of it)
python · Apr 26, 2023 · bf6b21d · bf6b21d
1 parent 16b936c
commit bf6b21d
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/mypy/messages.py b/mypy/messages.py
@@ -2517,7 +2517,8 @@ def format_literal_value(typ: LiteralType) -> str:
         else:
             return "<nothing>"
     elif isinstance(typ, TypeType):
-        return f"Type[{format(typ.item)}]"
+        type_name = "type" if options.use_lowercase_names() else "Type"
+        return f"{type_name}[{format(typ.item)}]"
     elif isinstance(typ, FunctionLike):
         func = typ
         if func.is_type_obj():

diff --git a/test-data/unit/check-lowercase.test b/test-data/unit/check-lowercase.test
@@ -42,3 +42,10 @@ x = 3  # E: Incompatible types in assignment (expression has type "int", variabl
 x = {3}
 x = 3  # E: Incompatible types in assignment (expression has type "int", variable has type "set[int]")
 [builtins fixtures/set.pyi]
+
+[case testTypeLowercaseSettingOff]
+# flags: --python-version 3.9 --no-force-uppercase-builtins
+x: type[type]
+y: int
+
+y = x  # E: Incompatible types in assignment (expression has type "type[type]", variable has type "int")