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

contract A {
    struct S { uint x; }
    S s;
}

contract B is A {
    function f() public view {
        A.s = A.S(2);
    }
    function g() public view {
        A.s.x = 2;
    }
    function h() public pure returns (uint) {
        return A.s.x;
    }
}
// ----
// TypeError: (107-110): Function declared as "view", but this expression (potentially) modifies the state and thus requires non-payable (the default) or "payable".
// TypeError: (166-171): Function declared as "view", but this expression (potentially) modifies the state and thus requires non-payable (the default) or "payable".
// TypeError: (244-247): Function declared as "pure", but this expression (potentially) reads from the environment or state and thus requires "view".
// TypeError: (244-249): Function declared as "pure", but this expression (potentially) reads from the environment or state and thus requires "view".