fix: allow private members when computing the denotation of a NamedType

hamzaremmal · hamzaremmal · commit 6d003056e083 · 2025-02-07T15:20:44.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -2473,7 +2473,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
`@@ -2473,7 +2473,7 @@ object Types extends TypeUtils {`
`2473`	`2473`	`else lastd match {`
`2474`	`2474`	`case lastd: SymDenotation =>`
`2475`	`2475`	`if stillValid(lastd) && checkedPeriod.code != NowhereCode then finish(lastd.current)`
`2476`		`- else finish(memberDenot(lastd.initial.name, allowPrivate = false))`
	`2476`	`+ else finish(memberDenot(lastd.initial.name, allowPrivate = lastd.is(Private)))`
`2477`	`2477`	`case _ =>`
`2478`	`2478`	`fromDesignator`
`2479`	`2479`	`}`
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`