Maybe the way hook expansion works, I would see a clojure.core/let ? Before I go digging in again, just wondering if there's anything existing to be aware of?

Custom macros like cond-let are best handled using hooks and then you would indeed see the locals as a normal let, usually

Maybe you can demontrate your question/problem using a repro showing that something is or is not possible using the current state of affairs, I'm not really sure from the top of my head

@UKFSJSM38 has been dealing a lot with analysis as well

Here's an example @U04V15CAJ given this file and config:

(ns scratch.core)

(defmacro forv [& args]
  `(vec (for ~@args)))

(forv [n [1 2 3]] (inc n))

Dumping the analysis for it, I can't see how to draw that connection that lint-as provides with what's there.

Hum, got it, we would need something just like we know a var-definiton was defined-by clojure.core/deftest for example, but for a var-usage

It may even be trickier, because we probably need to know the binding vector itself can be treated like for 's (or let or params etc.. Imagine this one with a weird first arg.

(defmacro forv [message & args]
  `(do (println ~message) (vec (for ~@args))))

isn't move-to-let a bit ambiguous here? it could also mean: move to an outer let:

(let [x 1] (forv ...))

that one with the first weird arg would not be possible with lint-as, so you would need to write a hook for that one

I think it's reasonable to expect these refactorings to work for core macros and less so for custom macros

It's probably best to wait for people to really complain about this, I could imagine that it isn't worth the trouble of solving this at all

Yeah, I'm not too sympathetic to weird macros. But every large code base ive run into builds their own lint-as like macros. I guess if we focus on lint-as maybe we could just use the kondo config itself and not need analysis. wdyt @UKFSJSM38?

that's maybe a good idea initially