Function check_range 

pub fn check_range(
    file_len: usize,
    unit: DataUnit,
    offset: usize,
    needed: usize,
) -> Result<(), Truncation>

Check that [offset, offset + needed) lies within an input of file_len bytes. Nothing is missing from an empty range, wherever it starts.