Merge pull request #238 from scala/backport-lts-3.3-22549

tgodzik · web-flow · commit 5943ed677b88 · 2025-04-22T15:20:54.000+02:00
Backport "Allow private members when computing the denotation of a NamedType" to 3.3 LTS
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -2412,7 +2412,7 @@ object Types extends TypeUtils {
           else lastd match {
             case lastd: SymDenotation =>
               if stillValid(lastd) && checkedPeriod.code != NowhereCode then finish(lastd.current)
-              else finish(memberDenot(lastd.initial.name, allowPrivate = false))
+              else finish(memberDenot(lastd.initial.name, allowPrivate = lastd.is(Private)))
             case _ =>
               fromDesignator
           }
diff --git a/tests/pos/i22548.scala b/tests/pos/i22548.scala
@@ -0,0 +1,2 @@
+trait Bar[T]
+class Foo[T <: Bar[T]] (private val buffer: Any) extends AnyVal

Original file line number	Diff line number	Diff line change
`@@ -2412,7 +2412,7 @@ object Types extends TypeUtils {`
`2412`	`2412`	`else lastd match {`
`2413`	`2413`	`case lastd: SymDenotation =>`
`2414`	`2414`	`if stillValid(lastd) && checkedPeriod.code != NowhereCode then finish(lastd.current)`
`2415`		`- else finish(memberDenot(lastd.initial.name, allowPrivate = false))`
	`2415`	`+ else finish(memberDenot(lastd.initial.name, allowPrivate = lastd.is(Private)))`
`2416`	`2416`	`case _ =>`
`2417`	`2417`	`fromDesignator`
`2418`	`2418`	`}`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+trait Bar[T]`
	`2`	`+class Foo[T <: Bar[T]] (private val buffer: Any) extends AnyVal`