Fix CI

Author: sobolevn

mypy/types_utils.py

@@ -82,6 +82,8 @@ def is_bad_type_type_item(item: Type) -> bool:
     Such types are explicitly prohibited by PEP 484. Also, they cause problems
     with recursive types like T = Type[T], because internal representation of
     TypeType item is normalized (i.e. always a proper type).
+
+    Also forbids `Type[Literal[...]]`, because typing spec does not allow it.
     """
     item = get_proper_type(item)
     if isinstance(item, (TypeType, LiteralType)):

test-data/unit/check-recursive-types.test

@@ -409,8 +409,10 @@ def local() -> None:
     x: L
     reveal_type(x)  # N: Revealed type is "builtins.list[Union[builtins.int, Any]]"
 
-S = Type[S]  # E: Type[...] can't contain another Type[...]
-U = Type[Union[int, U]]  # E: Type[...] can't contain another Type[...]
+S = Type[S]  # E: Type[...] can't contain "type[<placeholder __main__.S>]" \
+             # E: Type[...] can't contain "type[Any]"
+U = Type[Union[int, U]]  # E: Type[...] can't contain "Union[builtins.int, Union[type[builtins.int], type[<placeholder __main__.U>]]]" \
+                         # E: Type[...] can't contain "Union[builtins.int, type[Any]]"
 x: U
 reveal_type(x)  # N: Revealed type is "Type[Any]"