read
Given an L2WriteBoxedOperand, produce an L2ReadBoxedOperand of the same value, but with the current manifest's TypeRestriction applied.
Return
The L2ReadBoxedOperand that reads the value.
Parameters
write
The L2WriteBoxedOperand for which to generate a read.