TypeAlias with Generic ABCs
Open
- Dominant language
- Python
- Stars
- 756
- Forks
- 51
- PR merge metrics
- No merged PRs in 30d
Description
type checking the follow program with `mypy`:
```python
from oslash import List
IntList = List[int]
def f() -> IntList:
return List.unit(0)
```
Yields `error: Invalid type "StrList"`.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.