hint or action to remove unnecessary isinstance
Open
language-server
needs-discussion
- Dominant language
- Rust
- Stars
- 7k
- Forks
- 516
- PR merge metrics
- No merged PRs in 30d
Description
### Describe the Bug
```
def f(x: int):
if isinstance(x, int):
...
```
### Sandbox Link
https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeSImMYABGABT6I0ToAuAlIgDro38taEOKzhsMAYxiMANC3ZdeA5TUJreIGSACubaHBLlEIAMQ0AqnqgQ2pOtvQS9udHF68qtMLgBOAW1Q2AH10bT9sGB9GZlZOGgBaAD4aMR8ePgEfGDZtHz4wbhAAOTCItJpgfABfQo0tMiywKFJCNlw-KAozAAVSRuaUjBwCGgkXSABzXMCIF0JeMwBlGBgaAAs2NmI4RAB6XYbqZsJfCd2YdF3MXAk4XbH0SennS7pfGlQAN1RoVGxYUbjCBTHwzFw0XDEF4GXhkNhrFzxT6RETggC8NEKAGZCABGABMtXQmhAtmIMCmqB8mEMFBAVS0qCcEGRADFoDAKGgsHgiGR6UA
### (Only applicable for extension issues) IDE Information
_No response_
Contributor guide
Assessment
This issue has not been assessed yet.