(🐞) `always-true`/`always-false` doesn't activate until it's truth is checked

test.py:

from typing import Literal


def foo(a: Literal[True]) -> None:
    ...


FOO: bool
foo(FOO)  # error: Argument 1 to "foo" has incompatible type "bool"; expected "Literal[True]"  [arg-type]
reveal_type(FOO)  # note: Revealed type is "builtins.bool"
if not FOO:
    pass
reveal_type(FOO)  # note: Revealed type is "Literal[True]"
if not FOO:
    pass
import test2

test2.py:

from test import FOO

reveal_type(FOO)  # note: Revealed type is "builtins.bool"
if FOO:
    pass
reveal_type(FOO)  # note: Revealed type is "Literal[True]"

> mypy --always-true FOO test.py

Riproduci il report con test.py e test2.py usando mypy --always-true FOO test.py, confrontando i tipi rivelati prima e dopo ogni controllo di verità. Traccia la gestione di --always-true e di FOO importato; il lavoro è completato quando il comportamento di narrowing riportato è coerente senza richiedere un controllo di verità precedente.