Issues

Let-aliasing breaks flow inference for results of `class`

Support clojure.spec syntax as static types

Remove collect phase

Support latest Clojurescript compiler

Use specs as types

Make generated type readable

Don't track internals of track implementation

Single-pass compiler misses interfaces

Ensure :static-method has :class entry

Port Compiler.java to Clojure

Support primitive functions in runtime instrumentation

Merge CLJ-1744

Current version of core.typed does not work with current Clojure 1.9.0-alpha11

subtyping optional keywords in HMaps

pred doesn't work with polymorphic protocols?

Use dynamic inference to generate library annotations

Remove support for mixing "typed eval" and check-ns

Export typed vars with contracts to untyped namespaces

Enable sanity-checking compilation of core.typed-rt project

Override `eval` to type check code in typed namespaces

pred doesn't work for non-literal HVecs with varargs

t/cast does not run under rewriting type checking

Upgrade to Clojure 1.8.0

cast doesn't work for recursive types