`Any` declaration before loop ignored

[MarcoGorelli]

Describe the Bug

from typing import Protocol, Sequence, reveal_type, Literal, Any
from enum import Enum

def main() -> None:
    a: Any
    for a in ('b', 3, {'a': 1}):
        reveal_type(a)

(scratch) marcogorelli@DESKTOP-U8OKFP3:~/scratch$ pyright t.py
/home/marcogorelli/scratch/t.py
  /home/marcogorelli/scratch/t.py:7:21 - information: Type of "a" is "Any"
0 errors, 0 warnings, 1 information
(scratch) marcogorelli@DESKTOP-U8OKFP3:~/scratch$ pyrefly check t.py
 INFO revealed type: Literal['b', 3] | dict[Any, Any] [reveal-type]
 --> t.py:7:20
  |
7 |         reveal_type(a)
  |                    ---
  |
 INFO 0 errors

I think I'd expect Any here too?

Sandbox Link

No response

(Only applicable for extension issues) IDE Information

No response

[rchen152]

@migeed-z This seems potentially related to #2227.

[migeed-z]

I updated #2227 with our findings. I think this issue needs some further discussion. The question is: should we add a targeted fix for this or do we want to consider a more general solution? (which may involve accepting this as the right behavior)

[jorenham]

we also ran into a similar issue in array-api-extra (data-apis/array-api-extra#695 (comment)), which boils down to this:

import contextlib

def f(strict: bool):
    ctx: contextlib.AbstractContextManager[object]
    if strict:
        ctx = contextlib.nullcontext()  # ❌ 
    else:
        ctx = contextlib.suppress(ValueError)

    with ctx:
        ...

Argument `nullcontext[object]` is not assignable to parameter `self` with type `nullcontext[None]` in function `contextlib.nullcontext.__init__` [[bad-argument-type](https://pyrefly.org/en/docs/error-kinds/#bad-argument-type)]

sandbox

To me this looks like the same issue, but I might be wrong. So let me know if I should open a new issue for this.