Fix assignment of 'builtins.type' inferred as 'builtins.object' (#9481)

Fixes #9476

Author: TH3CHARLie

mypy/typeanal.py

@@ -307,8 +307,13 @@ def try_analyze_special_unbound_type(self, t: UnboundType, fullname: str) -> Opt
         elif (fullname == 'typing.Type' or
              (fullname == 'builtins.type' and self.api.is_future_flag_set('annotations'))):
             if len(t.args) == 0:
-                any_type = self.get_omitted_any(t)
-                return TypeType(any_type, line=t.line, column=t.column)
+                if fullname == 'typing.Type':
+                    any_type = self.get_omitted_any(t)
+                    return TypeType(any_type, line=t.line, column=t.column)
+                else:
+                    # To prevent assignment of 'builtins.type' inferred as 'builtins.object'
+                    # See https://github.com/python/mypy/issues/9476 for more information
+                    return None
             type_str = 'Type[...]' if fullname == 'typing.Type' else 'type[...]'
             if len(t.args) != 1:
                 self.fail(type_str + ' must have exactly one type argument', t)

test-data/unit/check-callable.test

@@ -473,3 +473,14 @@ else:
     reveal_type(fn) # N: Revealed type is 'None'
 
 [builtins fixtures/callable.pyi]
+
+[case testBuiltinsTypeAsCallable]
+# flags: --python-version 3.7
+from __future__ import annotations
+
+reveal_type(type)  # N: Revealed type is 'def (x: Any) -> builtins.type'
+_TYPE = type
+reveal_type(_TYPE)  # N: Revealed type is 'def (x: Any) -> builtins.type'
+_TYPE('bar')
+
+[builtins fixtures/callable.pyi]