Type checker should understand clojure.core.typed/cast
Description
`cast` now works well at runtime, however it's not plugged into the type checker to communicate the type that's being cast.
Pull request: 78
Commits: Type checker understands cast Use `cast` for contract generation
Environment
None
Completed
Your pinned fields
Click on the next to a field label to start pinning.