103     Initialized,  enumerator
183 /// The byte ranges initialized in `T` are also initialized in the referent of a
195 ///   is initialized, then the byte at offset `b` within `*ptr` must be
196 ///   initialized.
200 ///   at offset `b` in `t` is initialized, then the byte at offset `b` in `*ptr`
201 ///   must be initialized.
206 ///   that the appropriate bytes of `*ptr` are initialized as defined by that
217 /// The byte ranges in the referent are fully initialized. In other words, if
219 pub enum Initialized {}  enum
220 // SAFETY: `Initialized`'s validity is well-defined for all `T: ?Sized`, and is
224 unsafe impl Validity for Initialized {  implementation
225     const KIND: ValidityKind = ValidityKind::Initialized;
240 /// Initialized`.
245 // SAFETY: `SV = DV = Initialized`.
246 unsafe impl<ST: ?Sized, DT: ?Sized> CastableFrom<ST, Initialized, Initialized> for DT {}
291     impl Sealed for Initialized {}  implementation