Macro static_trait_assert 

macro_rules! static_trait_assert {
    ($t:ty, $traits:path) => { ... };
}

Example:

use fregate::static_trait_assert;

#[repr(i32)]
enum Enum {
    One,
    Two,
    Three,
}

impl From<Enum> for i32 {
    fn from(value: Enum) -> Self {
        value as i32
    }
}

static_trait_assert!(Enum, Into<i32>);