don't state that type[Callable] is invalid

Author: KotlinIsland

conformance/tests/specialtypes_type.py

@@ -5,7 +5,7 @@
 # Specification: https://typing.readthedocs.io/en/latest/spec/special-types.html#type
 
 
-from typing import Any, Callable, Generic, Type, TypeAlias, TypeVar, assert_type
+from typing import Any, Callable, Generic, Type, TypeAlias, TypeVar, assert_type, Literal, TypedDict
 
 
 class User:
@@ -173,3 +173,8 @@ def func13(v: type):
 class ClassA(Generic[T]):
     def method1(self, v: type) -> type[T]:
         return v  # OK
+
+# > Some other special forms like Literal and TypedDict are not allowed as an argument to type.
+_: type[Callable]  # OK
+_: type[TypedDict]  # E
+_: type[Literal[1]]  # E

docs/spec/special-types.rst

@@ -188,8 +188,8 @@ concrete class object, e.g. in the above example::
 ``type[T]`` where ``T`` is a type variable is allowed when annotating the
 first argument of a class method (see the relevant section).
 
-Any other :term:`special forms <special form>` like ``Callable`` are not
-allowed as an argument to ``type``.
+Some other :term:`special forms <special form>` like ``Literal`` and
+`TypedDict` are not allowed as an argument to ``type``.
 
 There are some concerns with this feature: for example when
 ``new_user()`` calls ``user_class()`` this implies that all subclasses