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)

I'll post an issue about this example just to register it somewhere

done: https://github.com/candid82/joker/issues/272

thanks for joker btw: https://twitter.com/borkdude/status/1173894379410513926