export-abi differs from Solidity in terms of state mutability of functions emitting log

[afosan]

It seems abis generated by export-abi command can have pure or view state mutability for functions emitting a log (which would be state changing, payable or nonpayable, in Solidity).

I have created a minimal example here. Copy pasting the relevant parts below as well.

Contract functions.

#[external]
impl Contract {
    pub fn with_mutable_reference_to_self(&mut self) -> Result<(), Vec<u8>> {
        evm::log(Event {});
        Ok(())
    }

    pub fn with_reference_to_self(&self) -> Result<(), Vec<u8>> {
        evm::log(Event {});
        Ok(())
    }

    pub fn without_self() -> Result<(), Vec<u8>> {
        evm::log(Event {});
        Ok(())
    }
}

Output of cargo stylus export-abi.

interface IContract {
    function withMutableReferenceToSelf() external;

    function withReferenceToSelf() external view;

    function withoutSelf() external pure;
}