More precise inferred type for literal ints
Open
needs-discussion
- Dominant language
- Rust
- Stars
- 7k
- Forks
- 516
- PR merge metrics
- No merged PRs in 30d
Description
### Describe the Bug
Minimal repro:
```python
reveal_type(1 + 2)
```
Expected: reveals `Literal[3]`
Actual: reveals `int`
### Sandbox Link
https://pyrefly.org/sandbox/?code=GYJw9gtgBALgngBwJYDsDmUkQWEMogCmAboQIYA2A+vAoQFBGmU2KEAUAjFANRQBMASiA
### (Only applicable for extension issues) IDE Information
_No response_
Contributor guide
Assessment
This issue has not been assessed yet.