对在 ^int 上进行的算术运算不发出警告

Question

如果使用了 CLJC，并且 ClojureScript 编译器看到了 Clojure 类型注解，它应该有效地忽略那些没有可移植性问题的注解。

此票项的具体情况是 {{^int}} 和算术，一个激励示例是


cljs.user=> (let [^int v (alength (into-array []))] (+ v 3))
WARNING: cljs.core/+, 所有参数必须是数字，得到了 [int number]。在 <cljs repl> 的第 1 行。
3


另一方面，由于 {{^long}} 不是 {{^number}} 的“子类型”（此类代码可能会有溢出，在这种情况下警告是有帮助的），它仍然会导致发出警告。

Answer 1

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