Macros that assert properties of code at compile time.
A static assertion is particularly appropriate when unsafe code relies on two types to have the same size, or on some type to have a particular size.
Macros that assert properties of code at compile time.
A static assertion is particularly appropriate when unsafe code relies on two types to have the same size, or on some type to have a particular size.