An invalid type annotation for a function with a record argument passes a type check

Question

Following code (unexpectedly) passes a type check.

`
(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

Reference: https://clojure.atlassian.net/browse/CTYP-279 (reported by alex+import)