Regression in type inference when using list comprehension in a loop

[Molkree]

Describe the bug
Pyright can't infer correct type if I use list comprehension in a loop. Regression introduced in 1.1.286.

Expected behavior
No errors reported.

Screenshots or Code

lst = [1]  # no error if I add explicit type annotation here (lst: list[int] = [1])
while True:
    lst = [val for val in lst]

VS Code extension or command-line
VSC Pylance since v2023.1.11 and up to v2023.1.21, VSC Pyright since 1.1.286 and up to 1.1.289.

[erictraut]

Thanks for the bug report. This will be addressed in the next release.

[erictraut]

This is included in pyright 1.1.290, which I just published. It will also be included in a future release of pylance.