Macro abi_stable::type_identity

macro_rules! type_identity {
    ($from:ty=>$to:ty; $expr:expr ) => { ... };
}

Allows converting between Copy generic types that are the same concrete type (using AssertEq to prove that they are).

Safety

This is safe to do, since both types are required to be the same concrete type inside the macro.