112     fn split_at(self, mid: usize) -> Result<(Self, Self), Self> {  in split_at()
113         if mid <= self.deref().len() {  in split_at()
120             unsafe { Ok(self.split_at_unchecked(mid)) }  in split_at()
141     unsafe fn split_at_unchecked(self, mid: usize) -> (Self, Self);  in split_at_unchecked()
214     unsafe fn split_at_unchecked(self, mid: usize) -> (Self, Self) {  in split_at_unchecked()
219             (<[u8]>::get_unchecked(self, ..mid), <[u8]>::get_unchecked(self, mid..))  in split_at_unchecked()
245     unsafe fn split_at_unchecked(self, mid: usize) -> (Self, Self) {  in split_at_unchecked()
254         let r_ptr = unsafe { l_ptr.add(mid) };  in split_at_unchecked()
256         let l_len = mid;  in split_at_unchecked()
263         let r_len = unsafe { self.len().unchecked_sub(mid) };  in split_at_unchecked()
334     unsafe fn split_at_unchecked(self, mid: usize) -> (Self, Self) {  in split_at_unchecked()
339                 SplitByteSlice::split_at_unchecked(slice, mid)  in split_at_unchecked()
354     unsafe fn split_at_unchecked(self, mid: usize) -> (Self, Self) {  in split_at_unchecked()
359                 SplitByteSlice::split_at_unchecked(slice, mid)  in split_at_unchecked()
378         let mid = kani::any();  in prove_split_at_unchecked()  localVariable
379         kani::assume(mid <= slc.len());  in prove_split_at_unchecked()
380         let (l, r) = unsafe { slc.split_at_unchecked(mid) };  in prove_split_at_unchecked()
388         assert_eq!(unsafe { slc.cast::<u8>().add(mid) }, r.cast::<u8>());  in prove_split_at_unchecked()
393         let mid = kani::any();  in prove_split_at_unchecked()  localVariable
394         kani::assume(mid <= slc.len());  in prove_split_at_unchecked()
395         let (l, r) = unsafe { slc.split_at_unchecked(mid) };  in prove_split_at_unchecked()
403         assert_eq!(unsafe { slc.cast::<u8>().add(mid) }, r.cast::<u8>());  in prove_split_at_unchecked()