detect invalid `Literal[Foo.foo | Foo.bar]` → `Literal[Foo.foo, Foo.bar]`

[spaceone]

import enum
from typing import Literal


class Foo(enum.IntEnum):
    foo = 1
    bar = 2


def foo(bar: Literal[Foo.foo | Foo.bar]) -> None:
    pass

ty detect this as invalid-type-form:

$ ty check t.py 
t.py:10:22: error[invalid-type-form] Type arguments for `Literal` must be `None`, a literal value (int, bool, str, or bytes), or an enum member

(astral-sh/ty#876 (comment))

[A5rocks]

Enums aren't necessary. Currently:

from typing import Literal

def foo(bar: Literal[1 | 2]) -> None:
    reveal_type(bar)  # N: Revealed type is "Literal[1] | Literal[2]"

I would expect either Literal[3] (because 1 | 2 = 3) or an error.