macro_rules! impl_finite_bounds {
    ($($ty:ty)+) => { ... };
}