错误信息是
bq. 在多方法'method'中没有与分发值::reify对应的方法
以下是最小测试用例,它失败
`
(ns core-typed-bug.core
(:require [clojure.core.typed :refer :all]))
(ann-protocol ITypedTest
get-data [ITypedTest -> Any])
(defprotocol ITypedTest
(get-data [this]))
(ann typed-test [String -> ITypedTest])
(defn typed-test [input]
(reify ITypedTest
(get-data [_] input)))
(def testfn :- Any
[asdf :- Keyword, in :- ITypedTest]
(get-data in))
`
可能是与bug(链接:http://dev.clojure.org/jira/browse/CTYP-132 文本:CTYP-132)类似。
分支:https://github.com/clojure/core.typed/pull/28/files