solidity/test/libsolidity/syntaxTests/viewPureChecker/msg_value_modifier.sol

7 lines
307 B
Solidity

contract C {
modifier m(uint _amount, uint _avail) { require(_avail >= _amount); _; }
function f() m(1 ether, msg.value) public pure {}
}
// ----
// TypeError 2527: (118-127): Function declared as pure, but this expression (potentially) reads from the environment or state and thus requires "view".