Request: support the concept of "closedness" for Maps about clj-kondo HOT 4 OPEN

@fosskers The problem is that the arguments can be a single map or a sequence of specific keyword/value pairs.
I'd be pretty happy with just closed maps, though.

from clj-kondo.

It would be super cool if clj-kondo could actually use Malli itself for the type checking.
I have a function that uses keyword varargs that looks like this:

(defn quux
  {:malli/schema [:=> [:cat
                       [:altn
                        [:map [:map {:closed true}
                               [:foo {:optional true} boolean?]
                               [:bar {:optional true} boolean?]]]
                        [:args [:*
                                [:alt
                                 [:cat [:= :foo] boolean?]
                                 [:cat [:= :bar] boolean?]]]]]]
                  :any]}
  [& {:keys [foo bar]}]
  ,,,)

(quux :foo true)

But the Malli instrumentation generates just the following :type-mismatch config:

quux {:arities {:varargs {:args [:any],
                          :ret :any,
                          :min-arity 0}}}

from clj-kondo.

I wonder if that's a Malli issue, since type checking does occur for "normally" shaped maps, as shown above in Pkg (i.e. passing :Description an int would report an error).

from clj-kondo.

It would be super cool if clj-kondo could actually use Malli itself for the type checking.

This is probably not feasible in the short term but we could extend the type checking mechanism with a closed check.

from clj-kondo.