Skip to content

Commit 36dba58

Browse files
committed
Defend against AliasingBounds
1 parent 8d36681 commit 36dba58

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

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

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1166,7 +1166,9 @@ object RefChecks {
11661166
def targetOfHiddenExtension: Symbol =
11671167
val target =
11681168
val target0 = explicitInfo.firstParamTypes.head // required for extension method, the putative receiver
1169-
target0.dealiasKeepOpaques.typeSymbol.info
1169+
target0.dealiasKeepOpaques.typeSymbol.info match
1170+
case tb: AliasingBounds => tb.alias
1171+
case tp => tp
11701172
val member = target.nonPrivateMember(sym.name)
11711173
.filterWithPredicate: member =>
11721174
member.symbol.isPublic && memberHidesMethod(member)

0 commit comments

Comments
 (0)