with-meta 函数不与向量和哈希表进行类型检查。

Question

`
(cf (with-meta 'a {}))
;; => (Value a) ; 预期结果

(cf (with-meta [] {}))
;; => AssertionError 断言失败：1：推断类型 [] 不在无到 clojure.lang.IObj 的范围内
(and (subtype? inferred upper-bound) (subtype? lower-bound inferred)) clojure.core.typed.cs-gen/subst-gen/fn--10379 (cs_gen.clj:1333)
`

这也适用于空的哈希表字面量。列表和集合正常工作。

Answer 1

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