pub type FieldKey = (SlotId, FieldIdx);
A (slot, field) pair identifying a specific field on a specific local.