python
diff --git a/‎mypy/semanal.py
Copy file name to clipboardExpand all lines: mypy/semanal.py
-1Lines changed: 0 additions & 1 deletion b/‎mypy/semanal.py
Copy file name to clipboardExpand all lines: mypy/semanal.py
-1Lines changed: 0 additions & 1 deletion
diff --git a/‎test-data/unit/check-type-aliases.test
Copy file name to clipboardExpand all lines: test-data/unit/check-type-aliases.test
+11-20Lines changed: 11 additions & 20 deletions b/‎test-data/unit/check-type-aliases.test
Copy file name to clipboardExpand all lines: test-data/unit/check-type-aliases.test
+11-20Lines changed: 11 additions & 20 deletions
diff --git a/‎test-data/unit/diff.test
Copy file name to clipboardExpand all lines: test-data/unit/diff.test
+1Lines changed: 1 addition & 0 deletions b/‎test-data/unit/diff.test
Copy file name to clipboardExpand all lines: test-data/unit/diff.test
+1Lines changed: 1 addition & 0 deletions
@@ -4022,7 +4022,6 @@ def check_and_set_up_type_alias(self, s: AssignmentStmt) -> bool:
             and not res.args
             and not empty_tuple_index
             and not pep_695
-            and not pep_613
         )
         if isinstance(res, ProperType) and isinstance(res, Instance):
             if not validate_instance(res, self.fail, empty_tuple_index):
 
@@ -1243,31 +1243,22 @@ A = Union[int, List[A]]
 def func(x: A) -> int: ...
 [builtins fixtures/tuple.pyi]
 
-[case testAliasExplicitNoArgsBasic]
-from typing import Any, List, assert_type
+[case testAliasNonGeneric]
 from typing_extensions import TypeAlias
+class Foo: ...
 
-Implicit = List
-Explicit: TypeAlias = List
+ImplicitFoo = Foo
+ExplicitFoo: TypeAlias = Foo
 
-x1: Implicit[str]
-x2: Explicit[str]  # E: Bad number of arguments for type alias, expected 0, given 1
-assert_type(x1, List[str])
-assert_type(x2, List[Any])
-[builtins fixtures/tuple.pyi]
-
-[case testAliasExplicitNoArgsGenericClass]
-# flags: --python-version 3.9
-from typing import Any, assert_type
-from typing_extensions import TypeAlias
+x1: ImplicitFoo[str]  # E: "Foo" expects no type arguments, but 1 given
+x2: ExplicitFoo[str]  # E: "Foo" expects no type arguments, but 1 given
 
-Implicit = list
-Explicit: TypeAlias = list
+def is_foo(x: object):
+    if isinstance(x, ImplicitFoo):
+        pass
+    if isinstance(x, ExplicitFoo):
+        pass
 
-x1: Implicit[str]
-x2: Explicit[str]  # E: Bad number of arguments for type alias, expected 0, given 1
-assert_type(x1, list[str])
-assert_type(x2, list[Any])
 [builtins fixtures/tuple.pyi]
 
 [case testAliasExplicitNoArgsTuple]
 
@@ -1563,6 +1563,7 @@ type H[T] = int
 __main__.A
 __main__.C
 __main__.D
+__main__.E
 __main__.G
 __main__.H
Original file line number	Diff line number	Diff line change
`@@ -4022,7 +4022,6 @@ def check_and_set_up_type_alias(self, s: AssignmentStmt) -> bool:`
`4022`	`4022`	`and not res.args`
`4023`	`4023`	`and not empty_tuple_index`
`4024`	`4024`	`and not pep_695`
`4025`		`- and not pep_613`
`4026`	`4025`	`)`
`4027`	`4026`	`if isinstance(res, ProperType) and isinstance(res, Instance):`
`4028`	`4027`	`if not validate_instance(res, self.fail, empty_tuple_index):`