.

Author: hauntsaninja

mypy/checkexpr.py

@@ -1821,15 +1821,7 @@ def check_callable_call(
         ):
             proper_arg = get_proper_type(arg_types[0])
             if isinstance(proper_arg, Instance) and proper_arg.type.is_protocol:
-                callee = callee.copy_modified(
-                    ret_type=UnionType(
-                        [
-                            self.named_type("builtins.type"),
-                            self.named_type("types.ModuleType"),
-                            AnyType(TypeOfAny.special_form),
-                        ]
-                    )
-                )
+                callee = callee.copy_modified(ret_type=self.named_type("builtins.type"))
             else:
                 callee = callee.copy_modified(ret_type=TypeType.make_normalized(arg_types[0]))
 

test-data/unit/check-protocols.test

@@ -4249,8 +4249,8 @@ import mod
 
 a: P = mod
 value = type(a)
-reveal_type(value)  # N: Revealed type is "Union[builtins.type, types.ModuleType, Any]"
-reveal_type(value.foo)  # E: Item "type" of "Union[type, Module, Any]" has no attribute "foo" \
+reveal_type(value)  # N: Revealed type is "builtins.type"
+reveal_type(value.foo)  # E: "type" has no attribute "foo" \
                         # N: Revealed type is "Any"
 
 class Namespace: ...
@@ -4259,13 +4259,14 @@ n.foo = lambda: None  # E: "Namespace" has no attribute "foo"
 
 b: P = cast(Any, n)
 value = type(b)
-reveal_type(value)  # N: Revealed type is "Union[builtins.type, types.ModuleType, Any]"
-reveal_type(value.foo)  # E: Item "type" of "Union[type, Module, Any]" has no attribute "foo" \
+reveal_type(value)  # N: Revealed type is "builtins.type"
+reveal_type(value.foo)  # E: "type" has no attribute "foo" \
                         # N: Revealed type is "Any"
 [file mod.py]
 def foo() -> None: ...
 
 [builtins fixtures/tuple.pyi]
+
 [case testOverloadProtocolSubtyping]
 from typing import Protocol, Self, overload