function schema instruction seems not working (at least in emacs + lsp + clj-kondo not work as expected)

[idhowardgj94]

As title, it seems that clj-kondo + lsp can only help to catch out error type at the first lavel.

take the example from test/malli/instrument/fn_schemas.cljs

(def VecOfInts [:vector :int])
(defn sum-nums
  {:malli/schema [:=> [:cat VecOfInts] :int]}
  [args]
  (apply + args))

which should catch sum-nums take vector of int as first argument after (dev/start), but like screenshot below

it's only catch if the first argument is a vector or not, didn't check if it is a int or not.

[idhowardgj94]

after a little experiment,

1. lsp + clj-kondo can only figure out first layer of shape. i.e. map? vector? int? string? etc
2. use instrument ((malli.dev/start!)) can caught a runtime error when using repl development.

it's.... work, but not really help in development stage.

does it have any chance to improve runtime analysis capacity using lsp + clj-kondo?