This seems incorrect to me. A Literal represents a value of that exact type, not a similar value of a subtype. Pyright isn't even consistent about it; it doesn't treat Literal[False] as a subtype of Literal[0].

This also allows unsound behavior in pyright:

from enum import IntEnum
from typing import Literal

class X(IntEnum):
    a = 1

    def __add__(self, value: int, /) -> int:
        return self.value + value + 42

def f(x: Literal[1]):
    print(reveal_type(x + 1))  # 44 at runtime

f(X.a)

Also, ty doesn't actually support this; it just doesn't support enums and therefore treats enum members as Any.

I agree with Jelle's argument here, and I plan to back out the change to pyright.