Open issues

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

Let-aliased variables of plain Map lookups should update original map

(Array X) is broken and undocumented

checking clojure.core/keep produces Internal Error--Cannot resolve type: Option

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

Internal error with t/defn, sort-by and no refer all

An invalid type annotation for a function with a record argument passes a type check

Typechecking fails with internal assert error

Bad call to path-type: nil

Inferred type for {{defn}} and {{typed/fn}} with the same body are different

Intersections of value types broken

if-let on an hmap with an optional entry always expected to succeed

RPS example does not type check

method-type is broken

Assoc doesn't work with multiple entries

Calling a multimethod from a protocol function breaks the type checker

No matching arities when defining multiple arity protocol method

Support for clojure.core/extend is broken when used with typed.core/defprotocol

Bad type syntax when parsing types of macro-generated anonymous functions from required namespaces (when the types are composed, for instance (Option AnyInteger))

HSequential things should correctly erase dotted arguments

large hashmaps: failure to discover subtype and error-output to complex to understand

with-meta doesn't type check with vectors or hash-maps.

Cannot instantiate variables that have bounds

Abstract over keyword arguments

adding stop-gap annotation for 'hash-map' results in runtime exception

group-by produces "Cannot resolve type: Seqable"

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

Typechecker fails when checking involves an object from reify

select-keys on HMap returns Map with union key and value types

Support KwArgsSeq in apply