Lines Matching full:initialized

196 //! /// `foo` is always initialized
208 //!         // - when the closure returns `Ok(())`, then it has successfully initialized and
227 //!                     // All fields of `RawFoo` have been initialized, since `_p` is a ZST.
238 //!         // SAFETY: Since `foo` is initialized, destroying is safe.
623 /// The fields are initialized in the order that they appear in the initializer. So it is possible
624 /// to read already initialized fields using raw pointers.
735 /// This signifies that the given field is initialized in-place. As with `struct` initializers, just
858 /// - the fields are initialized in the order given in the initializer.
909 /// - the fields are initialized in the order given in the initializer.
1039 /// - returns `Ok(())` if it initialized every field of `slot`,
1043 ///     - `slot` is not partially initialized.
1068     /// First initializes the value using `self` then calls the function `f` with the initialized
1109         // SAFETY: The above call initialized `slot` and we still have unique access.
1113         // SAFETY: `slot` was initialized above.
1132 /// - returns `Ok(())` if it initialized every field of `slot`,
1136 ///     - `slot` is not partially initialized.
1166     /// First initializes the value using `self` then calls the function `f` with the initialized
1216         // SAFETY: The above call initialized `slot` and we still have unique access.
1218             // SAFETY: `slot` was initialized above.
1240 /// - returns `Ok(())` if it initialized every field of `slot`,
1244 ///     - `slot` is not partially initialized.
1259 /// - returns `Ok(())` if it initialized every field of `slot`,
1263 ///     - `slot` is not partially initialized.
1273 /// Changes the to be initialized type.
1289 /// Changes the to be initialized type.
1339                 // SAFETY: The loop has initialized the elements `slot[0..i]` and since we return
1348     // any initialized elements and returns `Err`.
1382                 // SAFETY: The loop has initialized the elements `slot[0..i]` and since we return
1391     // any initialized elements and returns `Err`.
1415 // - `Ok(())`, `slot` was initialized and all pinned invariants of `T` are upheld.
1426 // - `Ok(())`, `slot` was initialized and all pinned invariants of `T` are upheld.
1438     /// The type `Self` turns into when the contents are initialized.
1439     type Initialized;
1444     fn write_init<E>(self, init: impl Init<T, E>) -> Result<Self::Initialized, E>;
1449     fn write_pin_init<E>(self, init: impl PinInit<T, E>) -> Result<Pin<Self::Initialized>, E>;
1490 /// Marker trait for types that can be initialized by writing just zeroes.
1567     // and because we write all zeroes, the memory is initialized.