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.
414 /// The fields are initialized in the order that they appear in the initializer. So it is possible
415 /// to read already initialized fields using raw pointers.
526 /// This signifies that the given field is initialized in-place. As with `struct` initializers, just
666 /// - the fields are initialized in the order given in the initializer.
703 /// - the fields are initialized in the order given in the initializer.
840 /// - returns `Ok(())` if it initialized every field of `slot`,
844 ///     - `slot` is not partially initialized.
861     /// First initializes the value using `self` then calls the function `f` with the initialized
924         // SAFETY: The above call initialized `slot` and we still have unique access.  in __pinned_init()
928         // SAFETY: `slot` was initialized above.  in __pinned_init()
948 /// - returns `Ok(())` if it initialized every field of `slot`,
952 ///     - `slot` is not partially initialized.
973     /// First initializes the value using `self` then calls the function `f` with the initialized
1022         // SAFETY: The above call initialized `slot` and we still have unique access.  in __init()
1024             // SAFETY: `slot` was initialized above.  in __init()
1046 /// - returns `Ok(())` if it initialized every field of `slot`,
1050 ///     - `slot` is not partially initialized.
1065 /// - returns `Ok(())` if it initialized every field of `slot`,
1069 ///     - `slot` is not partially initialized.
1107         // Counts the number of initialized elements and when dropped drops that many elements from
1110             // We now free every element that has been initialized before.
1111             // SAFETY: The loop initialized exactly the values from 0..i and since we
1129     // any initialized elements and returns `Err`.
1152         // Counts the number of initialized elements and when dropped drops that many elements from
1155             // We now free every element that has been initialized before.
1156             // SAFETY: The loop initialized exactly the values from 0..i and since we
1174     // any initialized elements and returns `Err`.
1178 // SAFETY: Every type can be initialized by-value.
1187 // SAFETY: Every type can be initialized by-value. `__pinned_init` calls `__init`.
1286     /// The type `Self` turns into when the contents are initialized.
1287     type Initialized;  typedef
1292     fn write_init<E>(self, init: impl Init<T, E>) -> Result<Self::Initialized, E>;  in write_init()  argument
1297     fn write_pin_init<E>(self, init: impl PinInit<T, E>) -> Result<Pin<Self::Initialized>, E>;  in write_pin_init()  argument
1301     type Initialized = UniqueArc<T>;  typedef
1303     fn write_init<E>(mut self, init: impl Init<T, E>) -> Result<Self::Initialized, E> {  in write_init()  argument
1308         // SAFETY: All fields have been initialized.  in write_init()
1312     fn write_pin_init<E>(mut self, init: impl PinInit<T, E>) -> Result<Pin<Self::Initialized>, E> {  in write_pin_init()  argument
1317         // SAFETY: All fields have been initialized.  in write_pin_init()
1361 /// Marker trait for types that can be initialized by writing just zeroes.
1379     // and because we write all zeroes, the memory is initialized.  in zeroed()