pub fn array_proxy_type(ty: Type, array_info: &DimElement) -> Type