select-keys on HMap returns Map with union key and value types

Description

Currently select-keys on an HMap returns a Map with unions for keys and values.

This results in type errors when select-keys is used to remove extra keys from an HMap.

Expected behaviour: select-keys should return an HMap with a subset of the :mandatory keys of its input HMap.

Environment

core.typed 0.2.40

Assignee

Unassigned

Reporter

Timo Mihaljov

Labels

None

Approval

None

Patch

None

Fix versions

Priority

Minor