Function extern_spec_T__ptrmut_T_cast 

pub fn extern_spec_T__ptrmut_T_cast<T: ?Sized, U>(self_: *mut T) -> *mut U

extern spec for pointer<T>::cast<U>

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

terminates

ghost

ensures

result == self as _