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

contract D {
    uint x;
    function f() public { x = 2; }
}
contract C is D {
    function f() public {}
}