Even after #1602 is resolved, we may still fail to infer comprehensions that iterate over a list literal, e.g.,

# revealed: Unknown | str
x = [reveal_type(string) for string in ["a", "b"]]

We should always avoid literal promotion and Unknown widening here, as the list is immutable.