Allow Type in isinstance

Author: pkch

mypy/checker.py

@@ -2789,7 +2789,8 @@ def get_isinstance_type(expr: Expression, type_map: Dict[Expression, Type]) -> L
             # Type[A] means "any type that is a subtype of A" rather than "precisely type A"
             # we indicate this by setting is_upper_bound flag
             types.append(TypeRange(type.item, is_upper_bound=True))
-        elif isinstance(type, Instance) and type.type.fullname() == 'builtins.type':
+        elif isinstance(type, Instance):
+            # type and Type will end up in this branch
             object_type = Instance(type.type.mro[-1], [])
             types.append(TypeRange(object_type, is_upper_bound=True))
         else:  # we didn't see an actual type, but rather a variable whose value is unknown to us