WARN on hinted fn call type mismatch

Question

If a call is made to a function that has hinted arguments (especially {^boolean} and {^number}), with an expression that is known to not be of that type, emit a diagnostic type mismatch warning.

An example that should emit a warning is:


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

Answer 1

Comment made by: mfikes

If we infer parameter types then we can additionally do this even when unhinted. (Example https://gist.github.com/mfikes/1e2341b48b882587500547f6ba19279d)

Answer 2

Reference: https://clojure.atlassian.net/browse/CLJS-1562 (reported by mfikes)