Some destructuring idioms are troublesome. Review the commented out tests in destructuring-special-ops.
Tested many cases here https://github.com/clojure/core.typed/blob/3f3a32a118dda3f0e1d479b0a3d9ea21b57109e1/src/test/clojure/clojure/core/typed/test/destructure.clj
We could be more accurate in some cases, but it's good enough for now.