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
December 4, 2017, 1:15 AM

Not going to fix this myself, someone else can.

Ambrose Bonnaire-Sergeant
June 24, 2015, 6:45 AM
Declined
Your pinned fields
Click on the next to a field label to start pinning.

Assignee

Unassigned

Reporter

Mark Feeney