contract c {
    function x() external {}
}
// ----
// Warning: (17-41): Function state mutability can be restricted to pure