macro_rules! impl_marker_for {
($traitname:ident, $($ty:ty)*) => {
$(
impl $traitname for $ty { }
)*
}
}
macro_rules! impl_marker_for_array {
($traitname:ident, $($N:expr)+) => {
$(
impl<T: $traitname> $traitname for [T; $N] { }
)+
}
}
macro_rules! impl_unsafe_marker_for {
($traitname:ident, $($ty:ty)*) => {
$(
unsafe impl $traitname for $ty { }
)*
}
}
macro_rules! impl_unsafe_marker_for_array {
($traitname:ident, $($N:expr)+) => {
$(
unsafe impl<T: $traitname> $traitname for [T; $N] { }
)+
}
}
pub trait BytewiseEquality { }
impl_marker_for!(BytewiseEquality,
u8 i8 u16 i16 u32 i32 u64 i64 usize isize char bool);
impl<T: BytewiseEquality> BytewiseEquality for [T] { }
impl_marker_for_array! {BytewiseEquality,
0 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 61 62 63 64
}
pub unsafe trait ContiguousMemory { }
impl_unsafe_marker_for!(ContiguousMemory,
u8 i8 u16 i16 u32 i32 u64 i64 usize isize char bool);
unsafe impl<T: ContiguousMemory> ContiguousMemory for [T] { }
impl_unsafe_marker_for_array! {ContiguousMemory,
0 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 61 62 63 64
}