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 报告)