Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Message cleanup #2234
This builds on top of #2210, and should not be merged before that.
This PR does the following:
Many of the methods in the
This is nice. I mostly question the laziness. Would like to hear from others.
It can theoretically help with static optimizations, but the JVM is pretty smart about what's actually overridden. I would expect it to not make a practical difference at runtime, and it's a question of signaling intent. Here, I don't think it's a huge deal either way.