警告：提示函数调用类型不匹配

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报告）