Welcome! Please see the About page for a little more info on how this works.

0 votes
in core.typed by

(cf (with-meta 'a {}))
;; => (Value a) ; expected result

(cf (with-meta [] {}))
;; => AssertionError Assert failed: 1: Inferred type [] is not between bounds Nothing and 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)

This also fails with an empty hash-map literal. Lists and sets work.

1 Answer

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