search

clj-kondo / clj-kondo

Static analyzer and linter for Clojure code that sparks joy
Eclipse Public License 1.0
1.7k stars 292 forks source link

Type inference improvement #1315

Open borkdude opened 3 years ago

borkdude commented 3 years ago 
(defn foo [x] (ex-info "foo"x))
(foo nil)

This should give an error about ex-info expecting a map but receiving nil.

See #1314

stale[bot] commented 2 years ago

This issue has been automatically marked as expired because it has not had recent activity. To prevent it from being closed, please leave a message. Additionally, consider giving the original message a thumbs up if this issue is important to you, so it will appear higher in this list. Thank you for your contributions!

stale[bot] commented 1 year ago

This issue has been automatically marked as expired because it has not had recent activity. To prevent it from being closed, please leave a message. Additionally, consider giving the original message a thumbs up if this issue is important to you, so it will appear higher in this list. Thank you for your contributions!