pub trait SliceExt<T> {
// Required methods
fn as_ptr_perm(&self) -> (*const T, Ghost<&Perm<*const [T]>>);
fn as_mut_ptr_perm(&mut self) -> (*mut T, Ghost<&mut Perm<*const [T]>>);
}pub trait SliceExt<T> {
// Required methods
fn as_ptr_perm(&self) -> (*const T, Ghost<&Perm<*const [T]>>);
fn as_mut_ptr_perm(&mut self) -> (*mut T, Ghost<&mut Perm<*const [T]>>);
}