fn classify_arg<'a, Ty, C>(
    cx: &C,
    arg: &ArgAbi<'a, Ty>
) -> Result<[Option<Class>; 8], Memory>where
    Ty: TyAbiInterface<'a, C> + Copy,
    C: HasDataLayout,