pub fn get_proven_by_<T>(slice: &[T], index: usize) -> Option<&T>
Get element with proven bounds (alias for get_proven for compatibility)