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