Clojurians Log v2

That sounds very strange. Can you post a screenshot of the find usages panel with the results of a problematic search?

In particular I’m interested in the summary that says “Usages of <something> in <some scope>” - what does <some scope> look like?

Yes, I’ve thought about this, as well as related things like moving multiple type hints from usages to the declaration (e.g. if a parameter has type hints on 3 of its usages, you could remove them all and type hint the parameter itself).

But it’s surprisingly tricky. Here’s an example:

(let [x ^List some-thing
      y x]
  (.iterator y))

Here the type hint on x is required because later it’s used after being implicitly passed to y. However if y never used interop forms, that would not be required.

I haven’t sat down to think through all the corner cases, but I suspect it’s a long list 🙂

No, I can’t see why that wouldn’t work - I just tried to repro and it works fine here.

Can you create a small reproduction project and put it on github so I can try it?