Let-aliased variabled of HVec lookups should update original HVec

Description

Discussed here: https://groups.google.com/d/msg/clojure-core-typed/njLzL8NinCc/7K9vxTZn__AJ

In both of the following cases core.typed'd thinks the HVec can contain nil, but it can't.

My original example:

Simpler example that might be the same thing (from Ambrose):

Environment

core.typed 0.3.7

Activity

Show:
Ambrose Bonnaire-Sergeant
June 24, 2015, 4:45 PM
Ambrose Bonnaire-Sergeant
December 4, 2017, 12:15 PM

Not going to fix this myself, someone else can.

Declined

Assignee

Unassigned

Reporter

Mark Feeney

Approval

None

Patch

None

Fix versions

Priority

Minor