solidity/test/libsolidity/syntaxTests/viewPureChecker/msg_value_modifier.sol
2022-04-01 23:41:18 -05:00

7 lines
319 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='msg.value'): Function declared as pure, but this expression (potentially) reads from the environment or state and thus requires "view".