fn unwrap_trivial_aggregate<'a, Ty, C>(cx: &C, val: &mut ArgAbi<'a, Ty>) -> bool
where Ty: TyAbiInterface<'a, C> + Copy, C: HasDataLayout,