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