qualified private should be inherited member in object (when access boundary permits)

[scabug]

trait Foo{
  trait Bar{
    private[Foo] def baz: Nothing
  }

  object Blip extends Bar{
    def baz = ???
  }
}

The method baz should be visible in Blip because it is scoped to Foo, but its presence in Blip is ignored and the compiler thinks the method has not been implemented.

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-1415?orig=1
Reporter: @DRMacIver
Attachments:

• private.scala (created on Oct 11, 2008 10:14:17 AM UTC, 105 bytes)

[scabug]

@paulp said:
For what it's worth, if Blip is a class instead of an object AND you respecify the scope, this works. Neither of those alterations by itself changes the outcome.

trait Foo {
  trait Bar {
    private[Foo] def baz;
  }

  class Blip extends Bar {
    private[Foo] def baz = { }
  }
}

[scabug]

@adriaanm said:
Un-assigning to foster work stealing, as announced in https://groups.google.com/forum/?fromgroups=#!topic/scala-internals/o8WG4plpNkw

[scabug]

@adriaanm said:
Unassigning and rescheduling to M6 as previous deadline was missed.

[scabug]

@gkossakowski said:
The 2.11.2 is out so I'm rescheduling the issue for 2.11.3.

[scabug]

@retronym said:
Updating fix-by version to 2.11.5.