julia

b510714d - inference: use TypedSlot to mark intermediate load types

inference: use TypedSlot to mark intermediate load types previously, we widened the load type too soon, discarding potentially valuable information earlier than necessary