legume 0.0.0

Peas in a pod, reinterpreting bits like a god.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60

use crate::{macros::impl_for_atomic, Pointee};

/// Trait for types that contain no uninitialized bytes.
///
/// This trait makes no guarantees about whether these bytes can be safely accessed,
/// for additional guarantees use the [`crate::Freeze`] trait.
pub unsafe trait NoUninit {}

unsafe impl<T: NoUninit> NoUninit for [T] {}
unsafe impl<T: NoUninit, const N: usize> NoUninit for [T; N] {}

// SAFETY: According to [workingjubilee](https://github.com/workingjubilee) when talking with them,
//         the implementations for these pointer types should be sound.

unsafe impl<T: Pointee + ?Sized> NoUninit for *const T {}
unsafe impl<T: Pointee + ?Sized> NoUninit for *mut T {}

unsafe impl<T: Pointee + ?Sized> NoUninit for &T {}
unsafe impl<T: Pointee + ?Sized> NoUninit for &mut T {}

unsafe impl<T: Pointee + ?Sized> NoUninit for core::ptr::NonNull<T> {}

unsafe impl<T: NoUninit> NoUninit for core::num::Saturating<T> {}
unsafe impl<T: NoUninit> NoUninit for core::num::Wrapping<T> {}

unsafe impl<T: NoUninit> NoUninit for core::cmp::Reverse<T> {}

unsafe impl<T: NoUninit + ?Sized> NoUninit for core::mem::ManuallyDrop<T> {}

unsafe impl<T: NoUninit + ?Sized> NoUninit for core::cell::UnsafeCell<T> {}
unsafe impl<T: NoUninit + ?Sized> NoUninit for core::cell::Cell<T> {}

unsafe impl<T: ?Sized> NoUninit for core::marker::PhantomData<T> {}

macro_rules! no_uninit {
    ($($ty:ty),*) => {
        $(
            unsafe impl NoUninit for $ty {}
        )*
    };
}

macro_rules! integer {
    ($($ty:ty),*) => {
        no_uninit!($($ty),*);
        no_uninit!($(core::num::NonZero<$ty>),*);
    };
}

no_uninit!(());
integer!(u8, u16, u32, u64, u128, usize);
integer!(i8, i16, i32, i64, i128, isize);
no_uninit!(f32, f64);
no_uninit!(bool);
no_uninit!(char);
no_uninit!(str);
no_uninit!(core::cmp::Ordering);
no_uninit!(core::marker::PhantomPinned);

impl_for_atomic!(unsafe impl NoUninit);