first on HVec strange/wrong result

Description

Discussion: https://groups.google.com/forum/#!topic/clojure-core-typed/sXKQTf54wA8

From Ambrose:

This is core.typed being overly conservative. I'd guess the HVec special case
in the implementation of checking `first` does not handle unions very well.

Environment

None

Activity

Show:
Ambrose Bonnaire-Sergeant
December 4, 2017, 9:45 AM

Not urgent.

Declined

Assignee

Ambrose Bonnaire-Sergeant

Reporter

Mark Feeney

Labels

None

Approval

None

Patch

None

Components

Fix versions

Affects versions

Priority

Minor