Regression: false positive avoid redundant cast with literal union

This example started generating an error after #18588, which looks like a regression:

# mypy: warn-redundant-casts

from typing import Literal, cast

Foo = Literal["a", "b"]

class C:
    def __init__(self) -> None:
        self.x = cast(Foo, "a")  # error: Redundant cast to "Literal['a', 'b']"

I haven't looked into this in detail, but it seems possible that we infer a union type for "a" in a literal union context, which doesn't look right. If this is a correct hypothesis, #18588 wouldn't actually be the root cause, and it would just be exposing a pre-existing issue.

cc @asottile as the author of the PR

Beginne damit, das Beispiel aus Issue #19055 mit der Einstellung warn-redundant-casts von mypy zu reproduzieren, und untersuche anschließend das durch #18588 eingeführte Verhalten sowie den Inferenzpfad für literal-union. Als erledigt gilt die Aufgabe, wenn der Cast im Beispiel nicht mehr als redundant gemeldet wird und ein Regressionstest diesen Fall abdeckt.