Function extern_spec_T__ptrconst_T_cast_mut 

pub fn extern_spec_T__ptrconst_T_cast_mut<T: ?Sized>(self_: *const T) -> *mut T

extern spec for pointer<T>::cast_mut

This is not a real function: its only use is for documentation.

terminates

ghost

ensures

result == self as _