Annotating tag of right hand expression in `let` does not propagate tag to left hand binding

Description

 

Ideally we would propagate the tag of the right hand side to the left-hand binding.

 

Environment

None

Status

Assignee

Unassigned

Reporter

Will Acton

Labels

None

Approval

None

Patch

None

Priority

Minor
Configure