Lines Matching full:slc
377 let slc = v.as_slice(); 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()
381 assert_eq!(l.len() + r.len(), slc.len()); in prove_split_at_unchecked()
383 let slc: *const _ = slc; in prove_split_at_unchecked() localVariable
387 assert_eq!(slc.cast::<u8>(), l.cast::<u8>()); in prove_split_at_unchecked()
388 assert_eq!(unsafe { slc.cast::<u8>().add(mid) }, r.cast::<u8>()); in prove_split_at_unchecked()
391 let slc = v.as_mut_slice(); in prove_split_at_unchecked() localVariable
392 let len = slc.len(); in prove_split_at_unchecked()
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()
400 let slc: *mut _ = slc; in prove_split_at_unchecked() localVariable
402 assert_eq!(slc.cast::<u8>(), l.cast::<u8>()); in prove_split_at_unchecked()
403 assert_eq!(unsafe { slc.cast::<u8>().add(mid) }, r.cast::<u8>()); in prove_split_at_unchecked()