That just goes back to the question of what's the desired property. If the specification is that toString() must return a human-readable string, and eg. be a pu

That just goes back to the question of what's the desired property. If the specification is that toString() must return a human-readable string, and eg. be a pure function/not throw exceptions, then most implementations would not violate the LSP.