Removes object at specified index and fills the gap with the last object, thereby avoiding the need to push back subsequent objects. Behavior undefined if index outside [0, num-1]. */
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected