Proposal to disallow class shadowing

[AMatveev]

@odersky

That’s a good illustration of the point: They don’t override each other, it just looks this way .

Thank you, I have understood motivation.

@adriaanm

One question for clarification: will a name clash be allowed for a private class? Technically, those are handled differently (they are not inherited, obviously, and thus do not play part in overriding).

Would it be possible to implement ability which allows to disable inheritance but use such traits from others classes? for example:

class Bfb_InventoryOrderDvi extends View {

  isolated trait Default extends View.Default{
    
  }
  isolated  trait List extends Default with View.List
}

class Bfb_InventoryOrderAvi extends Bfb_InventoryOrderDvi {
  import no_shadowing.{Bfb_InventoryOrderDvi => Super}
  isolated trait Default extends Super.Default{
  }
  isolated  trait List extends Default with Super.List
}

Otherwise with such proposal we will have to add class name prefix to inner trait or use object. In any case it will not be very comfortable.