Hi! I'm trying to implement a similar feature as joker in the realm of "type errors". I bumped into a problem where ^String can be nilable in Clojure. I see that joker warns about this:
(defn foo [^String x])
(foo nil)
while it probably should not. I'm erring on the side of "everything can be nil" just to prevent any false positives. Any thoughts on this?I'll post an issue about this example just to register it somewhere
thanks for joker btw: https://twitter.com/borkdude/status/1173894379410513926