peek_pointer

A pointer to the last element, which stays valid until the array is changed. Fails an assert when the array is empty.

values := int.[3, 6, 9];
peek_pointer(values).* += 1;
assert(values[2] == 10);

peek_pointer :: (array: [] $T) -> *T