Macro TrivialTypeTraversalImpls 

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

Used for types that are Copy and which do not care arena allocated data (i.e., don’t need to be folded).