144 //! /// `foo` is always initialized
156 //!         // - when the closure returns `Ok(())`, then it has successfully initialized and
175 //!                 // All fields of `RawFoo` have been initialized, since `_p` is a ZST.
185 //!         // SAFETY: Since `foo` is initialized, destroying is safe.
400 /// The fields are initialized in the order that they appear in the initializer. So it is possible
401 /// to read already initialized fields using raw pointers.
514 /// This signifies that the given field is initialized in-place. As with `struct` initializers, just
654 /// - the fields are initialized in the order given in the initializer.
691 /// - the fields are initialized in the order given in the initializer.
828 /// - returns `Ok(())` if it initialized every field of `slot`,
832 ///     - `slot` is not partially initialized.
849     /// First initializes the value using `self` then calls the function `f` with the initialized
911         // SAFETY: The above call initialized `slot` and we still have unique access.  in __pinned_init()
915         // SAFETY: `slot` was initialized above.  in __pinned_init()
935 /// - returns `Ok(())` if it initialized every field of `slot`,
939 ///     - `slot` is not partially initialized.
960     /// First initializes the value using `self` then calls the function `f` with the initialized
1009         // SAFETY: The above call initialized `slot` and we still have unique access.  in __init()
1011             // SAFETY: `slot` was initialized above.  in __init()
1033 /// - returns `Ok(())` if it initialized every field of `slot`,
1037 ///     - `slot` is not partially initialized.
1052 /// - returns `Ok(())` if it initialized every field of `slot`,
1056 ///     - `slot` is not partially initialized.
1092         // Counts the number of initialized elements and when dropped drops that many elements from
1095             // We now free every element that has been initialized before.
1096             // SAFETY: The loop initialized exactly the values from 0..i and since we
1114     // any initialized elements and returns `Err`.
1136         // Counts the number of initialized elements and when dropped drops that many elements from
1139             // We now free every element that has been initialized before.
1140             // SAFETY: The loop initialized exactly the values from 0..i and since we
1158     // any initialized elements and returns `Err`.
1162 // SAFETY: Every type can be initialized by-value.
1170 // SAFETY: Every type can be initialized by-value. `__pinned_init` calls `__init`.
1288     /// The type `Self` turns into when the contents are initialized.
1289     type Initialized;  typedef
1294     fn write_init<E>(self, init: impl Init<T, E>) -> Result<Self::Initialized, E>;  in write_init()  argument
1299     fn write_pin_init<E>(self, init: impl PinInit<T, E>) -> Result<Pin<Self::Initialized>, E>;  in write_pin_init()  argument
1303     type Initialized = Box<T>;  typedef
1305     fn write_init<E>(mut self, init: impl Init<T, E>) -> Result<Self::Initialized, E> {  in write_init()  argument
1310         // SAFETY: All fields have been initialized.  in write_init()
1314     fn write_pin_init<E>(mut self, init: impl PinInit<T, E>) -> Result<Pin<Self::Initialized>, E> {  in write_pin_init()  argument
1319         // SAFETY: All fields have been initialized.  in write_pin_init()
1325     type Initialized = UniqueArc<T>;  typedef
1327     fn write_init<E>(mut self, init: impl Init<T, E>) -> Result<Self::Initialized, E> {  in write_init()  argument
1332         // SAFETY: All fields have been initialized.  in write_init()
1336     fn write_pin_init<E>(mut self, init: impl PinInit<T, E>) -> Result<Pin<Self::Initialized>, E> {  in write_pin_init()  argument
1341         // SAFETY: All fields have been initialized.  in write_pin_init()
1385 /// Marker trait for types that can be initialized by writing just zeroes.
1403     // and because we write all zeroes, the memory is initialized.  in zeroed()