Skip to content

Commit bc00ea1

Browse files
committed
Fix use of accessibleFrom when finding default arg getters
1 parent 0416992 commit bc00ea1

File tree

2 files changed

+3
-1
lines changed

2 files changed

+3
-1
lines changed

compiler/src/dotty/tools/dotc/typer/Applications.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -272,7 +272,7 @@ object Applications {
272272
else
273273
def selectGetter(qual: Tree): Tree =
274274
val getterDenot = qual.tpe.member(getterName)
275-
.accessibleFrom(qual.tpe.widenIfUnstable) // to reset Local
275+
.accessibleFrom(qual.tpe.widenIfUnstable, superAccess = true) // to reset Local
276276
if (getterDenot.exists) qual.select(TermRef(qual.tpe, getterName, getterDenot))
277277
else EmptyTree
278278
if !meth.isClassConstructor then

tests/pos/i16814.scala

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
class Foo protected (foo: Int = 0) { }
2+
class Bar extends Foo

0 commit comments

Comments
 (0)