facebook / facebook/pyrefly

[TSP] Literal Union is not translated into a Union

Open
#3,086 0 comments 0 reactions 0 assignees View on GitHub
TSP
Dominant language
Rust
Stars
7k
Forks
516
PR merge metrics
No merged PRs in 30d

Description

### Describe the Bug

This code here:

```python
e: Literal["Hello", "There"]
```

The type of e in a TSP response is just a class with no literal value.

Pyright turns it into a TypeKind.Union with two sub types for the different literal values.

### Sandbox Link

_No response_

### (Only applicable for extension issues) IDE Information

_No response_

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.