What is the purpose of these https://github.com/borkdude/clj-kondo/blob/master/src/clj_kondo/impl/types/clojure/core.clj#L95 I see in the typing info?

@jaihindhreddy i noticed that for https://github.com/borkdude/clj-kondo/blob/master/src/clj_kondo/impl/types/clojure/core.clj#L1068 -- the 7886 matches the line number where tap> is defined in clojure core in a particular commit: https://github.com/clojure/clojure/blob/38bafca9e76cd6625d8dce5fb6d16b87845c8b9d/src/clj/clojure/core.clj#L7886

Right! But those line numbers aren't static right? They can change over time. Are we then keeping these updated, if and when they change in clojure.core?

yes, i think you're right that those number aren't static. perhaps borkdude has some thoughts on this 🙂

The clojure.core source doesn't change that often. It's just a reminder for me where I can find the original source