When defining multiple-arity protocol methods with clojure.core.typed/defprotocol, deftypes implementing these methods fail to typecheck with "No matching arities" errors. See attached test case.
Clojure 1.6.0 and 1.7.0-alpha5
Comment made by: freakhill
i found a quite similar problem with defrecord. Is there some kind of workaround?
project.clj http://pastebin.com/bn6giuvH
core_typed_bug/core.clj http://pastebin.com/JjfhWLSH
error message http://pastebin.com/djsAicd1
—
with clojure 1.7.0-beta2 and core.typed 0.2.87