JVM doesn’t allow any kind of restriction (besides...

# language-proposals

[orangy]

JVM doesn’t allow any kind of restriction (besides visibility) on interfaces. With abstract classes we can at least hide constructor separately from the type itself. That would mean that assumptions about exhaustiveness of implementations could be (and will be) easily violated.