All work

subtyping optional keywords in HMaps

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

t/cast does not run under rewriting type checking

ClassNotFoundException clojure.core.cache.CacheProtocol

Remove redundant checking in typed load

Directly-linking in Clojure 1.8.0 interferes with load monkey-patching

Impossible to annotate protocol in other namespace

Typechecking fails with internal assert error

first on HVec strange/wrong result

Bad call to path-type: nil

check-ns: Assert failed: (r/Type? t)

"Method code too large!" with protocols (more than 38 functions in the protocol)

deftype should rewrite method bodies

Unnecessary type hint required in catch expression

Rewrite function bodies if they are only checked once

Remove static/instance flag in check-method

Suppress tools.analyzer's warn-on-reflection

Resolve Java interoperability based on static type information

Function bodies should rewrite themselves if possible

Setting :collect-only attribute for a namespace does not collect type aliases

(Array X) is broken and undocumented

Can't create a promise of the same type as a record field

method-type is broken

Use memoization in file-mapping to improve performance.

Compile error with core.async

ExactCount should work with destructuring

Support metadata map and :arglists in clojure.core.typed/defn

extend & extend-protocol with (Class/forName "[B") as Class dispatch value fails

Allow namespace aliases in `ann`

Better documentation for override-method

Implement a defrecord macro for Clojure

Support overriding fields

clojure.lang.RT/nth's type doesn't currently allow nil as the first argument

Eliminate the need to specify all ancestors in alter-class.