StrEnum and IntEnum values should not be subtypes of `Literal[<str>]` or `Literal[<int>]`

[erictraut]

Pyright 1.1.375 included a change for #8641 that was incorrect. This change should be reverted and alternative solutions for the original bug explored.

See this thread in the Python typing forum for Jelle's explanation for why pyright's current behavior is incorrect.

[erictraut]

This is addressed in pyright 1.1.402.

[kalekseev]

@erictraut The fix "broke" django enum choices pattern, in type check the enum is a tuple

from django.db import models


class Task(models.TextChoices):
    OTHER = "OTHER",  "other"


if Task.OTHER == "OTHER":
    pass

previous commit 9148e3d output:

Condition will always evaluate to False since the types "Literal[Task.OTHER]" and "Literal['OTHER']" have no overlap

this commit output

error: Condition will always evaluate to False since the types "tuple[Literal['OTHER'], str]" and "Literal['OTHER']" have no overlap

and this code typeschecks:

if Task.OTHER == ("OTHER", "other"):
    pass

Django typings used in testing https://github.com/sbdchd/django-types/blob/062b1bfe5313b7e9f1a0a165fa5bf549e6b4addd/django-stubs/db/models/enums.pyi