contract B { function f() virtual public view {} }
contract C is B { function f() public {} }
// ----
// TypeError 9456: (69-91='function f() public {}'): Overriding function is missing "override" specifier.
// TypeError 6959: (69-91='function f() public {}'): Overriding function changes state mutability from "view" to "nonpayable".