fn classify_arg<Ty>(arg: &mut ArgAbi<'_, Ty>)