macro_rules! require_eq { ($a:expr, $b:expr, $err:expr) => { ... }; }
Require a == b for scalar types.
a == b