Private types can be inferred but not explicitly typed

[ShaneDelmore]

Two examples:
https://scastie.scala-lang.org/wdskxrQQRbeB2ZHkDdXaoA

And

package factory{
  private [factory] class Factory
  object Factory{
    def f(): factory.Factory = new Factory()
  }
}
object G {
 //type annotation fails to compile!
  val f: factory.Factory = factory.Factory.f()
}

[paulp]

I've opened many other tickets about this. It will not be fixed.

[SethTisue]

Duplicate of #6794

[ShaneDelmore]

@paulp Open and marked critical for 5 years now. It may take me another 5 years to reconcile those facts. The well linked history was entertaining at least.

[SethTisue]

on the subject of "marked critical": scala/scala-dev#406

[ShaneDelmore]

@SethTisue Makes sense, thanks.

[som-snytt]

@ShaneDelmore As of today, your 1-year clock is ticking on "It may take me another 5 years to reconcile those facts."

Duplicative of #1800

[joroKr21]

I think #6794 has the most catchy title