typing forms (`_SpecialForm`/`UnionType`) are not `type`s
Open
typechecking
- Dominant language
- Rust
- Stars
- 7k
- Forks
- 519
- PR merge metrics
- No merged PRs in 30d
Description
### Describe the Bug
```py
from typing import Never, Literal
a = int | str # expect UnionType, not type[int | str]
b: type[int | str] = int | str # expect error
c: type = Literal[1] # expect error
d: type = Never # expect error
```
Contributor guide
Assessment
This issue has not been assessed yet.