pub fn is_simple_type(ty: &TypeRef) -> bool
Check if a type is “simple” — can be passed without any conversion.