Skip to content

Commit bed3304

Browse files
committed
Fixed SI-5063.
1 parent 437c626 commit bed3304

File tree

3 files changed

+9
-6
lines changed

3 files changed

+9
-6
lines changed

src/compiler/scala/tools/nsc/typechecker/Typers.scala

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1158,6 +1158,7 @@ trait Typers extends Modes with Adaptations with PatMatVirtualiser {
11581158
val qtpe = qual.tpe.widen
11591159
( !isPastTyper
11601160
&& qual.isTerm
1161+
&& !qual.isInstanceOf[Super]
11611162
&& ((qual.symbol eq null) || !qual.symbol.isTerm || qual.symbol.isValue)
11621163
&& !qtpe.isError
11631164
&& !qtpe.typeSymbol.isBottomClass
@@ -1173,12 +1174,7 @@ trait Typers extends Modes with Adaptations with PatMatVirtualiser {
11731174
)
11741175
}
11751176

1176-
def adaptToMember(qual: Tree, searchTemplate: Type): Tree =
1177-
adaptToMember(qual, searchTemplate, true, true)
1178-
def adaptToMember(qual: Tree, searchTemplate: Type, reportAmbiguous: Boolean): Tree =
1179-
adaptToMember(qual, searchTemplate, reportAmbiguous, true)
1180-
1181-
def adaptToMember(qual: Tree, searchTemplate: Type, reportAmbiguous: Boolean, saveErrors: Boolean): Tree = {
1177+
def adaptToMember(qual: Tree, searchTemplate: Type, reportAmbiguous: Boolean = true, saveErrors: Boolean = true): Tree = {
11821178
if (isAdaptableWithView(qual)) {
11831179
qual.tpe.widen.normalize match {
11841180
case et: ExistentialType =>

test/files/neg/t5063.check

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
t5063.scala:2: error: value + is not a member of Object
2+
super.+("")
3+
^
4+
one error found

test/files/neg/t5063.scala

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
class A {
2+
super.+("")
3+
}

0 commit comments

Comments
 (0)