fn type_asserts<T: 'static, const REV: bool>()