Unreachable Code

    function payInterest(uint256 amount) public payable {
        uint256 interest = calculateInterestAmount(amount);
        require(
            msg.value == interest,
            "Not the entire interest amount deposited"
        );
        interestPaid[msg.sender][amount] = true;
    }

The tool throws an unreachable code error at the require statement and the statement following it. calculateInterestAmount returns just the number 10.

Also, the code is working fine in the truffle test suits.

[pcaversaccio]

Confirmed, after restarting VS Code I got 0.8.6. Cache issues remain one of the major challenges in modern software engineering 😜

[cameel]

Great. I created an issue on our side to fix it in a more permanent manner (https://github.com/ethereum/solidity/issues/11572). The problem is that outright disabling caching for this file might not be a good idea (it got 5 TB of traffic last month) so we might have to modify our mirroring to just invalidate stuff after every update.