Macro static_assertions::assert_fields

macro_rules! assert_fields {
    ($t:path, $($f:ident),+) => { ... };
    ($label:ident; $($xs:tt)+) => { ... };
}

Asserts at compile-time that the type has the given fields.

This is useful for when types have odd fields as a result of #[cfg].