fixed test after rebase

Author: randolf-scholz

test-data/unit/check-python310.test

@@ -2917,7 +2917,7 @@ match m[k]:
 
 match 0:
     case 0 as i:
-        reveal_type(i)  # N: Revealed type is "Literal[0]"
+        reveal_type(i)  # N: Revealed type is "Literal[0]?"
     case int(i):
         i  # E: Statement is unreachable
     case other:

test-data/unit/check-warnings.test

@@ -49,6 +49,27 @@ from typing import cast
 a = 1
 b = cast(object, 1)
 
+[case testLiteralRedundantCast]
+# https://github.com/python/mypy/issues/19055
+# flags: --warn-redundant-cast
+
+from typing import Literal, cast
+
+# "a" is an AnyOf[str, Literal["a"]], denoted Literal['a']?
+# See: https://github.com/python/typing/issues/566
+
+# This cast is not redundant because Literal["a"]? is not identical to Literal["a"]
+LiteralOnly = Literal["a"]
+reveal_type("a")  # N: Revealed type is "Literal['a']?"
+cast(LiteralOnly, "a")
+
+# This cast is redundant because the type is already Literal["a"]
+already_literal: Literal["a"] = "a"
+reveal_type(already_literal)  # N: Revealed type is "Literal['a']"
+cast(LiteralOnly, already_literal)  # E: Redundant cast to "Literal['a']"
+
+LiteralUnion = Literal["a", "b"]
+cast(LiteralUnion, "a")
 
 [case testCastFromUnionOfAnyOk]
 # flags: --warn-redundant-casts