带有core.typed的关键字参数的实际示例

Question

在core.typed关于关键字参数的wiki之后，我想出了以下代码片段对其进行测试。 我看不到为什么在下面出现错误。

(ns typeddemo
  (:require [clojure.core.typed :as t]))


(t/ann testfn (Fn [Any & :mandatory {:a t/Num :b t/Num} -> t/Num]
                  [Any & :optional  {:a t/Num :b t/Num} -> t/Str]))

(defn testfn
  [y & {:keys [a b]}]
  (if (and (number? a) (number? b))
    (+ a b)
    "Missing b"))

(testfn 55 :a 5 :b 6)

Static method clojure.lang.Numbers/add could not be applied to arguments:


Domains:
    java.lang.Long java.lang.Long
    java.lang.Double java.lang.Double
    t/AnyInteger t/AnyInteger
    java.lang.Number java.lang.Number

Arguments:
    (t/U Number nil) Number

Ranges:
    java.lang.Long
    java.lang.Double
    t/AnyInteger
    java.lang.Number

with expected type:
    t/Str

in: (clojure.lang.Numbers/add a b)

我曾期望core.typed可以推断出，当测试(and (number? a) (number? b))通过时，两个参数都必须为t/Num ，因此结果也应该为t/Num 。 仅在测试失败时，类型为t/Str 。 为什么声称add函数不适用。 给定条件，参数如何为(t/U Number nil) Number ？