facebook / facebook/pyrefly

detect match case branch subclass

Open
#3,338 3 comments 1 reaction 1 assignee Claimed by @NathanTempest View on GitHub
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

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.