compile mistake for void

[johnyannj]

jdk8:
one java interface:
public interface IntefaceA{ default void remove() { throw new UnsupportedOperationException("remove"); } }

and one scala calass:
class ClassB extends IntefaceA { overide remove() {throw UnsupportedOperationException} }

then make a new Java class

public class ClassC extend ClassB{ }

we will compile failed. because the the return type of classB in class file is "Nothing", not void....

[som-snytt]

There is an issue not to infer Nothing in override.

#7212

Similarly frequent with Option: #7873

The Scala method in the sample shouldn't be procedure syntax a/k/a Unit, which works.