Also the spec name gets added to the namespace as a callable function, which should ideally not be considered unresolved. (defspec my-spec ...) (my-spec 20) ; => a quick-check result

How would clj-kondo know that if you don't tell it how defspec works? (unless it's built-in to clj-kondo which very few libraries are)

There is one piece of support in clj-kondo for clojure.test.check: the for-all macro. Maybe we should add support for defspec too, but since it isn't there, your best bet is probably :lint-as {clojure.test.check.clojure-test/defspec clj-kondo.lint-as/def-catch-all} for now. Maybe we should add it to https://github.com/clj-kondo/configs

> How would clj-kondo know...? I am proposing that it should have built-in support.

issue welcome

https://github.com/clj-kondo/clj-kondo/issues/1882

> The test.check library is built into Clojure itself to support this This isn't true though, test.check is not a library that comes with Clojure

but I still want to support this case

Before I wrote that, I double-checked that my tests run okay without depending on it.... but I forgot I have a user alias providing it.

Edited it out.