fn is_riscv_aggregate<Ty>(arg: &ArgAbi<'_, Ty>) -> bool