Describe the Bug

x: Literal[1], y: Literal[1]

or

x, y : tuple[Literal[1], Literal[1]]

I prefer the first one.

Sandbox Link

https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeSIAxAAQDqMUAxrgLYzUAuunAFuwAqkATjDBRS1AMoYcBADS8IcakuqpqxVAHMYAHXQ0A7nxHVSuAK7VGGaoaEQOMBXB6pTM6rHfo1eCxycpMQQ6FoqvoIcPLjohPqUCdQAEjAeHtaWxLDUYDCoHBYiyrhgispoWHj4iEkAtNQA4jCBIqhQdRwQbEHE7Ix8jADWoeF5MDiow-XUAKpw7CIAbvlQAPocwTAAFACUnNyhcH2MgaF5QiKYvfAzMPh9DmzogYaOPLzsAJIAIgCiuXyhWKvAKdnYcAsxGIuCEgW2MEIWkIagCuGYLGyLWc1C0uE6%2BMwolCjggsQUMRWQgULUYuxmtAcTjUWGoQgskVI0VimSJ1EwEBEp3EETMliE1GwQlwhgWQn0%2BnUAF5qABGfTYagq9XofT4BQSFXbVBybD09AALy1agV6BAchAAWgcBI5EQVDmXSgjgkYA5pzJ6DgtqJZTAsJYBTW6AsLGwaW2NQiHH2dQAfNQ4BwhLVfNR8yJgb4wLoQAA5WPxnPUYD4AC%2Bpf09pAZBEYlIhC4LCgFBogjbIsqsnwmXQkC0RQKgfiBikMHYPA4HGIcEQAHo163ROJCLCtGuYOg15h0XA18wxxAJ0Ip7E17lYWolqhoKhsDkL%2BPJ10ebhiD%2BgxnMhuXQOoqTgQNrVLABmQhVQAJkbO06wdKYuhWAAxaAYAoIdqldEA6yAA

(Only applicable for extension issues) IDE Information

No response