fn is_homogeneous_aggregate<'a, Ty, C>(
    cx: &C,
    arg: &mut ArgAbi<'a, Ty>,
    abi: ABI
) -> Option<Uniform>where
    Ty: TyAbiInterface<'a, C> + Copy,
    C: HasDataLayout,