带有记录参数的函数无效类型注解通过类型检查

Question

以下代码（意外地）通过了类型检查。

`
(ns tst
(:require
[clojure.core.typed :refer [Int Kw ann] :as typed]))

(typed/defprotocol [[a :variance :covariant]] P)

               (f [p :- (P a)] :- a))

(typed/ann-record [[a :variance :covariant]] R [_f :- a])
(defrecord R [_f])
P
(f [self] _f)

(ann fr [(R Int) -> Kw])
(defn fr [x] (f x))
`

Answer 1

参考： https://clojure.atlassian.net/browse/CTYP-279（由 alex+import 报告）