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

Major
Configure