unsafe fn update( current_states: &mut [BufferUses], index: usize, state_provider: BufferStateProvider<'_>, )