在提示函数调用类型不匹配上发出警告

Question

如果对一个具有提示参数（特别是 {^boolean} 和 {^number}）的函数进行调用，而表达式已知不是该类型，则发出类型不匹配的诊断警告。

以下应发出警告的示例：


(defn f [^boolean b])
(f 0)

Answer 1

评论由：mfikes

如果我们推断参数类型，那么即使没有提示，我们也可以做到这一点。（示例 https://gist.github.com/mfikes/1e2341b48b882587500547f6ba19279d）

Answer 2

参考：https://clojure.atlassian.net/browse/CLJS-1562（由mfikes报告）