I expect no errors in the following code, but getting the error shown in comments
X = ["a", "b", "c"]
Y = "d"
if Y in [*X, "d", "e", "f"]: # ERROR Expected a type form, got instance of `list[str]` [not-a-type]
pass
# Expected a type form, got instance of `list[str]`
z = "g" if Y in [*X, "d", "e", "f"] else "h"
Describe the Bug
I expect no errors in the following code, but getting the error shown in comments
Sandbox Link
https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeSIAxAAQDqMUAxrgLYzUAuunAFuwAqkATjDBRS1AMoYcBADS8IcakuqpqxVAHMYAHXQ0A7nxHVSuAK7VGGaoaEQOMBXB6pTM6rHfo1eCxycpMQQ6FoqvoIcPLjohPqUCdQAEjAeHtaWxLDUYDCoHBYiyrhgispoWHj4iEkAtNQA4jCBIqhQdRwQbEHE7Ix8jADWoeF5MDiow-XUAKpw7CIAbvlQAPocwTAAFACUnNyhcH2MgaF5QiKYvfAzMPh9DmzogYaOPLzsAJIAIgCiuXyhWKvAKdnYcAsxGIuCEgW2MEIWkIagCuGYLGyLWc1C0uE6%2BMwolCjggsQUMRWQgULUYuxmtAcTjUWGoQgskVI0VimSJ1EwEBEp3EETMliE1GwQlwhgWQn0%2BjA0pYvVGKkxsNaMBW7Q2W30AA1qABeagAbV0IFQloUluwNuolsYloAuvoAJomx0gTCW-QQMqe0LmgBUBttPodlr0IAjYFdiGoND%2BACUUwB5FPUP4PGCnCZqG65WEsBR4s7oOAcDCMdilagAAygSg4ZqrQhdDfN6FwHDqqE6Wzdvmoo80cDgCvQSWWqz1fTs0CgGmlmAstcLmwXaWlEuiYKcUCgynMVmi7C3AmEohFbknBkymICBbAsM%2BbJaRV822D0VUNgWFwOCEel0FnXVL22A1QPA9ZIPdXZYxAAJoDgEhyEQKg5i6ZtNlyDlTjJSspyJMpXyEFgCjWdALBYbA0m2GoIg4fY6gAPmodtahHUcRGBXx4xAAA5Wj6KERNgHwABfP10CQsgRDEUhCC4FgoAoGhBEUkVKlkfBMnQSAtCKAoiPiB9JBgdgeA4DhiDgRAAHpHIUm9lNhLRHJgdBHMwdE4Ec5hDIgYyhFM2JHOLCVUCWVBoFQbAciCoyTK6HlcGINLK3MshuXQOoqTgIivUtABmQgAEYACZZJAKS5CtQiVgAMWgGAKF06p0LqoA
(Only applicable for extension issues) IDE Information
No response