rust-spec 0.2.0

Classification of types in accordance with the Rust specification
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

use core::{
    cell::{Cell, UnsafeCell},
    ops::Add,
};

use crate::{RustSpec, Stable, layout::Robust, mutability::Interior, niche::WithoutNiche};

macro_rules! interior_cell {
    ($($ty:ident),+ $(,)?) => {$(
        unsafe impl<T: RustSpec + ?Sized> RustSpec for $ty<T>
        where
            Robust: Add<T::Trap>,
        {
            type Layout = Stable;
            type Size = T::Size;
            type Alignment = T::Alignment;
            type Trap = <Robust as Add<T::Trap>>::Output;
            type Niche = WithoutNiche;
            type Mutability = Interior;
            type __IndirectTrap = T::__IndirectTrap;
        }
    )+};
}

interior_cell!(UnsafeCell, Cell);