Trait InitStatus

pub unsafe trait InitStatus {
    const IS_INIT: bool;
    const IS_UNINIT: bool = _;
}

Trait for marker structs to hold state about if a field in a builder is initialised or not

Safety

IS_INIT and IS_UNINIT must both be set correctly to acccurately represent the state of the field. If you set IS_INIT correctly, there is a default implementation for IS_UNINIT which is just an inversion of IS_INIT, and therefore always correct.

Required Associated Constants

const IS_INIT: bool

Provided Associated Constants

const IS_UNINIT: bool = _

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl InitStatus for Uninit

const IS_INIT: bool = false

impl<T, M> InitStatus for Init<T, M>

where T: ?Sized, M: ?Sized + TypeMarker,

const IS_INIT: bool = true