Macro const_assert

macro_rules! const_assert {
    ($($list:ident : $ty:ty),* => $expr:expr) => { ... };
    ($expr:expr) => { ... };
}

Apply a compile-time const generic assertion.

Based on https://github.com/nvzqz/static-assertions/issues/40#issuecomment-846228355.