Function add_ed::buffer::verify_index

pub fn verify_index(
    buffer: &impl Buffer, 
    index: usize
) -> Result<(), &'static str>

Verify that the index is between 0 and buffer.len() inclusive.

That means it is valid to move to the index in question, but may not be valid to read from.