But at least IDE support can help in the case of mutable structs, while the duplicated-static-members goof-up is "by design" and can never be fixed anymore. I would consider that issue to be much worse. (We are planning to to this in the JVM, right?)