Macro trivial_to_resolved_value 

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