fn encode_work_product_index( work_products: &FxIndexMap<WorkProductId, WorkProduct>, encoder: &mut FileEncoder, )