172         // which points to an initialized instance of `T`.  in leak()
184     /// fully initialized.
188     /// Callers must ensure that the value inside of `b` is in an initialized state.
193         // of this function, the value inside the `Box` is in an initialized state. Hence, it is  in assume_init()
202         // SAFETY: We've just initialized `b`'s value.  in write()
319     type Initialized = Box<T, A>;  typedef
321     fn write_init<E>(mut self, init: impl Init<T, E>) -> Result<Self::Initialized, E> {  in write_init()  argument
326         // SAFETY: All fields have been initialized.  in write_init()
330     fn write_pin_init<E>(mut self, init: impl PinInit<T, E>) -> Result<Pin<Self::Initialized>, E> {  in write_pin_init()  argument
335         // SAFETY: All fields have been initialized.  in write_pin_init()
444         // SAFETY: `self.0` is always properly aligned, dereferenceable and points to an initialized  in deref()
456         // SAFETY: `self.0` is always properly aligned, dereferenceable and points to an initialized  in deref_mut()