492 pub struct MaybeUninit<T: ?Sized + KnownLayout>(
504 impl<T: ?Sized + KnownLayout> MaybeUninit<T> {
509         T: Sized,  in new()
510         Self: Sized,  in new()  argument
536         T: Sized,  in uninit()
537         Self: Sized,  in uninit()
588         T: Sized,  in assume_init()  argument
589         Self: Sized,  in assume_init()  argument
596 impl<T: ?Sized + KnownLayout> fmt::Debug for MaybeUninit<T> {
618     pub struct ReadOnly<T: ?Sized> {
640     impl<T: ?Sized> ReadOnly<T> {
661     unsafe_impl_known_layout!(T: ?Sized + KnownLayout => #[repr(T)] ReadOnly<T>);
673     unsafe_impl!(T: ?Sized + Unaligned => Unaligned for ReadOnly<T>);
675         T: ?Sized + TryFromBytes => TryFromBytes for ReadOnly<T>;
678     unsafe_impl!(T: ?Sized + FromZeros => FromZeros for ReadOnly<T>);
679     unsafe_impl!(T: ?Sized + FromBytes => FromBytes for ReadOnly<T>);
680     unsafe_impl!(T: ?Sized + IntoBytes => IntoBytes for ReadOnly<T>);
686     unsafe_impl!(T: ?Sized => Immutable for ReadOnly<T>);
693     define_cast!(unsafe { pub CastFromReadOnly<T: ?Sized> = ReadOnly<T> => T});
695     unsafe impl<T: ?Sized> CastExact<ReadOnly<T>, T> for CastFromReadOnly {}
697     define_cast!(unsafe { pub CastToReadOnly<T: ?Sized> = T => ReadOnly<T>});
699     unsafe impl<T: ?Sized> CastExact<T, ReadOnly<T>> for CastToReadOnly {}
701     impl<T: ?Sized> SizeEq<ReadOnly<T>> for T {
705     impl<T: ?Sized> SizeEq<T> for ReadOnly<T> {
712 unsafe impl<T: ?Sized> TransmuteFrom<T, Valid, Valid> for ReadOnly<T> {}
716 unsafe impl<T: ?Sized> TransmuteFrom<ReadOnly<T>, Valid, Valid> for T {}
718 impl<'a, T: ?Sized + Immutable> From<&'a T> for &'a ReadOnly<T> {
729 impl<T: ?Sized + Immutable> Deref for ReadOnly<T> {
739 impl<T: ?Sized + Immutable> DerefMut for ReadOnly<T> {
746 impl<T: ?Sized + Immutable + Debug> Debug for ReadOnly<T> {
754 unsafe impl<T: HasTag + ?Sized> HasTag for ReadOnly<T> {
758         Self: Sized,  in only_derive_is_allowed_to_implement_this_trait()
800     T: HasField<Field, VARIANT_ID, FIELD_ID> + ?Sized,
805         Self: Sized,  in only_derive_is_allowed_to_implement_this_trait()
828     T: ProjectField<Field, I, VARIANT_ID, FIELD_ID> + ?Sized,
834         Self: Sized,  in only_derive_is_allowed_to_implement_this_trait()