hyperledger-solang_solang/tests/codegen_testcases/solidity/address_cast.sol

// RUN: --target solana --emit cfg

contract DTron {
    // BEGIN-CHECK: DTron::DTron::function::moneyDeposit__address:_uint256:
    function moneyDeposit(address[] memory thanksCash, uint256[] memory amount) public payable {
        // CHECK: ty:address payable %receiver = address payable(address((sext uint256 (trunc uint160 uint256((load (subscript address[] (arg #0)[uint32 2])))))))
        address payable receiver = payable(address(uint160(thanksCash[2])));
        receiver.transfer(amount[2]);
    }
}