detect match case branch subclass
Open
narrowing
scoping-control-flow
typechecking
- Dominant language
- Rust
- Stars
- 7k
- Forks
- 516
- PR merge metrics
- No merged PRs in 30d
Description
### Describe the Bug
```py
from typing import Any
def foo(x: Any):
match x:
case int():
...
case bool(): # this never comes since bool is subclass of int
...
```
context: https://github.com/langgenius/dify/issues/35929
### Sandbox Link
_No response_
### (Only applicable for extension issues) IDE Information
_No response_
Contributor guide
Assessment
This issue has not been assessed yet.