with-meta doesn't type check with vectors or hash-maps.
Description
This also fails with an empty hash-map literal. Lists and sets work.
Environment
clojure 1.5.1
core.typed 0.2.13
Assignee
Unassigned
Reporter
import
Labels
None
Approval
None
Patch
None
Components
Fix versions
Priority
Configure