Lint messages is “Insufficient input”. This seems wrong to me, or is there something I’m not seeing?

Hmmm, also noticing that I might have to report a missing nilable on that tuple to malli

[:int :int [:int :int]]

right, thanks. So this is a malli bug

I can take a look at why this error appears though, that doesn't look entirely right in clj-kondo either

what would the correct args spec for clj-kondo look like?

what is a tuple in malli, in terms of clojure data structure?

This is me speculating, but I think it works on any sequence type. Vectors would make the most sense

then [:int :int :nilable/seqable] I think

$ clj-kondo --lint - --config '{:linters {:type-mismatch {:namespaces {foo {bar {:arities {3 {:args [:int :int :nilable/seqable]}}}}}}}}' <<< "(require '[foo]) (foo/bar 1 2 3)"
<stdin>:1:31: warning: Expected: seqable collection or nil, received: positive integer.