Fix codegen_rvalue_aggregate for tuples#2371

tautschnig merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

tautschnig:codegen-rvalue-tuplestautschnig/kani:codegen-rvalue-tuplesCopy head branch name to clipboard