Function pre::core::mut_pointer__impl__write_unaligned__

pub fn mut_pointer__impl__write_unaligned__()

A stub for the preconditions of the core::mut_pointer<T>::write_unaligned function.

What is this function?

This function was generated by an impl block inside a extern_crate attribute that looked like this:

impl< T > mut_pointer < T > where T : ? Sized {
    unsafe fn write_unaligned(self, val : T);
    /* other items omitted */
}

Preconditions on external functions inside of an impl block are attached to empty functions like this one. When the preconditions should be checked, a call to this function is inserted, which triggers checking the preconditions.

This function has preconditions

This function has the following precondition generated by the pre attribute:

• the pointer self must be valid for writes

To call the function you need to assure that the precondition holds:

#[forward(impl pre::core::mut_pointer)]
#[assure(
    valid_ptr(self, w),
    reason = "<specify the reason why you can assure this here>"
)]
x.write_unaligned(/* parameters omitted */);