fn classify_arg<'a, Ty, C>(
    cx: &C,
    arg: &mut ArgAbi<'a, Ty>,
    in_registers_max: Size
)
where Ty: TyAbiInterface<'a, C> + Copy, C: HasDataLayout,