facebook / facebook/pyrefly

report error when type variable can not be resolved

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

Description

### Describe the Bug

```py
class A[T]:
def __init__(self, *t: T): ...

a = A() # expect error
```

i would expect an error here when `T` of `A` cannot be resolved

### 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.