typing.Annotated not callable although underlying type expression is
- 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
Assessment
This issue has not been assessed yet.