core.typed keyword parameters

kw.clj

(ns clojure.core.typed.test.kw-args
  (:require [clojure.core.typed :refer [ann check-ns ann-form cf]]
            [clojure.tools.analyzer :refer [ast]]
            [clojure.tools.analyzer.emit-form :refer [emit-form]]))

(ann foo-kw [& {:a Number} -> (U nil Number)])
(defn foo-kw [& {:keys [a]}]
  (when a
    (inc a)))

(fn [] (foo-kw :a 1))
(fn [] (foo-kw :a 'a))

Exception Type Error, clojure.core.typed.test.kw-args:12

Actual type
        (Value a)
is not a subtype of Expected type
        java.lang.Number

Form: (clojure.core.typed.test.kw-args/foo-kw :a (quote a))  clojure.core.typed.subtype/type-error (subtype.clj:38)