facebook / facebook/pyrefly

check for overlapping overloads

Open
#3,680 2 comments 1 reaction 0 assignees View on GitHub
typechecking
Dominant language
Rust
Stars
7k
Forks
516
PR merge metrics
No merged PRs in 30d

Description

pyright's `reportOverlappingOverload` rule checks for this:

```py
from typing import overload

@overload
def foo(value: object) -> object: ...
@overload
def foo(value: int) -> int: ... # Overload 2 for "foo" will never be used because its parameters overlap overload 1 (reportOverlappingOverload)

def foo(value: object) -> object: ...
```

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.