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

Your pinned fields
Click on the next to a field label to start pinning.

Assignee

Unassigned

Reporter

Timo Mihaljov