Extended fix for generics + test

mypy/checkexpr.py

@@ -1374,9 +1374,11 @@ def visit_reveal_type_expr(self, expr: RevealTypeExpr) -> Type:
     def visit_type_application(self, tapp: TypeApplication) -> Type:
         """Type check a type application (expr[type, ...])."""
         tp = self.accept(tapp.expr)
-        if not isinstance(tp, CallableType):
-            return AnyType()
-        return self.apply_generic_arguments(tp, tapp.types, tapp)
+        if isinstance(tp, CallableType):
+            return self.apply_generic_arguments(tp, tapp.types, tapp)
+        if isinstance(tp, Overloaded):
+            return self.apply_generic_arguments2(tp, tapp.types, tapp)
+        return AnyType()
 
     def visit_type_alias_expr(self, alias: TypeAliasExpr) -> Type:
         return AnyType()

test-data/unit/check-generics.test

@@ -500,6 +500,11 @@ Alias[int](1)
 Alias[int]("a")  # E: Argument 1 to "Node" has incompatible type "str"; expected "int"
 [out]
 
+[case testTypeApplicationCrash]
+type[int] # this was crashing, see #2302 (comment)  # E: Type application targets a non-generic function or class
+[out]
+
+
 -- Multiple assignment with lists
 -- ------------------------------