We need an annotation for update, it's missing in typedclojure.

This is a case where we could use finer grained backdoors to the type system. The current workaround is to use (t/ann ^:no-check ...) on the var/s that contain update

possibly something like (^::t/unchecked-fn update ...) so the args are checked but not the application itself.

Try this as a workaround in https://github.com/typedclojure/typedclojure/blob/main/CHANGELOG.md#1030-20220504:

(^{::t/unsafe-cast t/Nothing} ^::t/ignore update ...)

Longer term, we need to convert the annotation for assoc into one for update https://github.com/typedclojure/typedclojure/blob/700d882ef7e004cc2908b55bef54cf715d7863e8/typed/lib.clojure/src/typed/ann/clojure.cljc#L1154-L1158

Thank @U055XFK8V for your answers. I will try that.