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 3, 2017, 10:45 PM

Not urgent.

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

Assignee

Ambrose Bonnaire-Sergeant

Reporter

Mark Feeney