| | adding stop-gap annotation for 'hash-map' results in runtime exception | | | | | Unresolved | Jun 30, 2015 | Oct 26, 2018 | | |
| | Internal error with t/defn, sort-by and no refer all | | | | | Unresolved | Oct 24, 2015 | Oct 26, 2018 | | |
| | method-type is broken | | | | | Unresolved | Apr 8, 2015 | Jul 10, 2018 | | |
| | Typechecker fails when checking involves an object from reify | | | | | Unresolved | Apr 13, 2014 | Jul 10, 2018 | | |
| | merge doesn't seem to like records | | | | | Unresolved | Sep 28, 2013 | Dec 3, 2017 | | |
| | extend & extend-protocol with (Class/forName "[B") as Class dispatch value fails | | | | | Unresolved | May 12, 2014 | Dec 3, 2017 | | |
| | No matching arities when defining multiple arity protocol method | | | | | Unresolved | Jan 25, 2015 | Dec 3, 2017 | | |
| | Support for clojure.core/extend is broken when used with typed.core/defprotocol | | | | | Unresolved | Jan 15, 2015 | Dec 3, 2017 | | |
| | checking clojure.core/keep produces Internal Error--Cannot resolve type: Option | | | | | Unresolved | May 31, 2015 | Dec 3, 2017 | | |
| | Bad type syntax when parsing types of macro-generated anonymous functions from required namespaces (when the types are composed, for instance (Option AnyInteger)) | | | | | Unresolved | Jan 9, 2015 | Dec 3, 2017 | | |
| | Let-aliasing breaks flow inference for results of `class` | | Ambrose Bonnaire-Sergeant | | | Unresolved | Jul 3, 2017 | Dec 3, 2017 | | |
| | Calling a multimethod from a protocol function breaks the type checker | | | | | Unresolved | Feb 27, 2015 | Dec 3, 2017 | | |
| | RPS example does not type check | | | | | Unresolved | May 22, 2015 | Dec 3, 2017 | | |
| | Assoc doesn't work with multiple entries | | | | | Unresolved | Mar 10, 2015 | Dec 3, 2017 | | |
| | Cannot instantiate variables that have bounds | | Ambrose Bonnaire-Sergeant | | | Unresolved | Jul 29, 2013 | Dec 3, 2017 | | |
| | if-let on an hmap with an optional entry always expected to succeed | | | | | Unresolved | May 30, 2015 | Dec 3, 2017 | | |
| | large hashmaps: failure to discover subtype and error-output to complex to understand | | | | | Unresolved | Feb 2, 2014 | Dec 3, 2017 | | |
| | with-meta doesn't type check with vectors or hash-maps. | | | | | Unresolved | Oct 16, 2013 | Dec 3, 2017 | | |
| | Abstract over keyword arguments | | Ambrose Bonnaire-Sergeant | | | Unresolved | Nov 19, 2015 | Dec 3, 2017 | | |
| | Bad call to path-type: nil | | | | | Unresolved | Sep 15, 2015 | Dec 3, 2017 | | |
| | HSequential things should correctly erase dotted arguments | | Ambrose Bonnaire-Sergeant | | | Unresolved | May 9, 2014 | Dec 3, 2017 | | |
| | group-by produces "Cannot resolve type: Seqable" | | | | | Unresolved | May 29, 2015 | Dec 3, 2017 | | |
| | Typechecking fails with internal assert error | | | | | Unresolved | Sep 16, 2015 | Dec 3, 2017 | | |
| | pred doesn't work for non-literal HVecs with varargs | | | | | Unresolved | Jan 29, 2016 | Dec 3, 2017 | | |
| | Let-aliased variables of plain Map lookups should update original map | | | | | Unresolved | Jun 26, 2015 | Dec 3, 2017 | | |
| | An invalid type annotation for a function with a record argument passes a type check | | | | | Unresolved | Sep 25, 2015 | Dec 3, 2017 | | |
| | Inferred type for {{defn}} and {{typed/fn}} with the same body are different | | | | | Unresolved | Sep 8, 2015 | Dec 3, 2017 | | |
| | select-keys on HMap returns Map with union key and value types | | | | | Unresolved | Mar 30, 2014 | Dec 3, 2017 | | |
| | Support KwArgsSeq in apply | | | | | Unresolved | Oct 1, 2013 | Dec 3, 2017 | | |
| | Intersections of value types broken | | Ambrose Bonnaire-Sergeant | | | Unresolved | Jun 2, 2015 | Dec 3, 2017 | | |
| | "Method code too large!" with protocols (more than 38 functions in the protocol) | | | | | Unresolved | Aug 18, 2015 | Dec 3, 2017 | | |
| | (Array X) is broken and undocumented | | | | | Unresolved | Jun 23, 2015 | Dec 3, 2017 | | |