Macro comptime_assert_align_le 

macro_rules! comptime_assert_align_le {
    ($type:ty, $limit:expr) => { ... };
}

Asserts at compile-time that align_of::<T>() <= limit. Works inside generic functions with const generics.