Affects Version/s: None
Fix Version/s: None
Currently a type error (especially involving locals) that complains about a mismatch to a recur statement could be more descriptive. Perhaps mention where the corresponding loop> is? Should also mention the recur statement.
(loop> [f :- AnyInteger]
(let [n (ann-form 1.2 (U Number nil))]
Type Error (clojure/math/numeric_tower.clj:89:10) Local binding n530 expected type AnyInteger, but actual type (U Number nil)