@DoNotOverride for interface default methods

[vorburger]

@DoNotOverride for interface default methods would be neat, e.g. for something like this, which for better composability one wouldn't want to have to create an abstract class for, and would want ensure is never changed by implementing classes:

public interface Hashable {

   @DoNotOverride
   default Multihash hash() {
        var hasher = Hasher.sha512();
        hash(hasher);
        return hasher.hash(Multihash.Type.sha2_512);
   }

   void hash(Hasher hasher);
}

Just a thought.

[vorburger]

Just FYI, on 2nd thought, in my specific case, I've ended up just moving this particular default method into a public static on a helper class instead, for now. But having a @DoNotOverride still seems possibly useful in general (to me).