(🐞) `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

Reproduce the report with test.py and test2.py using mypy --always-true FOO test.py, comparing the revealed types before and after each truth check. Trace the handling of --always-true and imported FOO; done when the reported narrowing behavior is consistent without requiring a prior truth check.