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.

Assignee

Ambrose Bonnaire-Sergeant

Reporter

Ambrose Bonnaire-Sergeant