facebook / facebook/pyrefly

typing.Annotated not callable although underlying type expression is

Open
#3,184 4 comments 0 reactions 0 assignees View on GitHub
google
Dominant language
Rust
Stars
7k
Forks
516
PR merge metrics
No merged PRs in 30d

Description

### Describe the Bug

I expect the following to be well-typed:
```py
from typing import Annotated
X = Annotated[str, ...]
x = X("hello")
```
However, pyrefly fails in the call of the constructor `X` with
>Expected a callable, got `Annotated[str]` [[not-callable](https://pyrefly.org/en/docs/error-kinds/#not-callable)]

### Sandbox Link

https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeS4ATrgLYAEALqcROgOZ0Q3G6UN0AqADroAGnQC8dAILp0uBqgYxMAbTgNKAGjqE9AXRH5JdUQAohIABYwoUXJYCUIkFpBlKMMFFKEGtKAoAYjoABVJPb1I6NCw8YwBjXHRINgBXSiUIZMIREIBlGBg6KwYGYjhEAHoqjy8fQl42Kph0KsxcBLgqpJSIdMyGbLa6MF46VAA3VGhUbFg6XtSMrOS6XGIh5Lhc9DIGK2SAWkmYSjhhk0sAZkIARgAmSxFVM%2Bpzw3Q09C4ePhUjpgIJ4EkNTiYAOT9eSeCEieQMI6eACOaWBAIA1jBSEdUAkEvA4JCAO6oSjoOHoEAAXzceLBMAAYtAYBRYjgCCRyNSgA

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