Copy
58// Calculate everything before any balances change.
59uint256[] memory amounts_ = new uint256[](assetsLength_);
60
61// The fraction of the assets we release is the fraction of the
62// outstanding total supply of the redeemable being burned.
63// Every treasury asset is released in the same proportion.
64// Guard against no asset redemptions and log all events before we
65// change any contract state or call external contracts.
66require(assetsLength_ > 0, "EMPTY_ASSETS");
67uint256 supply_ = IERC20(address(this)).totalSupply();
68uint256 amount_ = 0;
69for (uint256 i_ = 0; i_ < assetsLength_; i_++) {
70    amount_ =
71        (treasuryAssets_[i_].balanceOf(address(this)) * redeemAmount_) /
72        supply_;
73    require(amount_ > 0, "ZERO_AMOUNT");
74    emit Redeem(
75        msg.sender,
76        address(treasuryAssets_[i_]),
77        redeemAmount_,
78        amount_
79    );
80    amounts_[i_] = amount_;
81}
82
83// Burn FIRST (reentrancy safety).
84_burn(msg.sender, redeemAmount_);
85
86// THEN send all assets.
87for (uint256 i_ = 0; i_ < assetsLength_; i_++) {
88    treasuryAssets_[i_].safeTransfer(msg.sender, amounts_[i_]);
89}