关于类型提示与推断不匹配的警告

Question

如果你有以下代码

(let [^string x 3] )

我们通常更喜欢类型提示而非推断的类型。但在推断类型与类型提示不一致的情况下，可能会在那种情况下发出诊断。

如果推断类型是提示的超集，则不应发出警告。例如，如果我们推断{{any}}，则不应发出警告。另外，如果我们推断1. }}，并有一个提示{{string}}，我们可以认为开发者在本质上说{{clj-nil}}不可能发生。

然而，另一方面，如果我们推断{{number}}，而有一个{{string}}的提示，那么显然有什么事情不对。

Answer 1

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