library Lib {
    function f() public { }
}
// ----
// Warning: (18-41): Function state mutability can be restricted to pure