I had the same comment on C#'s implementation: https://news.ycombinator.com/item?id=12971841#12972691 https://news.ycombinator.com/item?id=12971841#12972691 I

I had the same comment on C#'s implementation: https://news.ycombinator.com/item?id=12971841#12972691 https://news.ycombinator.com/item?id=12971841#12972691 In C#, the "wanting the supertype" answer makes some sense with explicit interface implementations [0]. Java doesn't have that, and AFAIK there's no way to declare something that's visible on a supertype but not a subtype. [0] I think it's a bad reason. But the possibility does at least exist.