Skip to content

Commit 86c4e72

Browse files
authored
Merge pull request #5029 from dotty-staging/fix-5007-noimpconversion-super
Fix #5007 (aka scala/bug#5063)
2 parents 81cd4de + 140e57c commit 86c4e72

File tree

4 files changed

+4
-7
lines changed

4 files changed

+4
-7
lines changed

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

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -552,6 +552,7 @@ trait Implicits { self: Typer =>
552552
|| (from.tpe isRef defn.NothingClass)
553553
|| (from.tpe isRef defn.NullClass)
554554
|| !(ctx.mode is Mode.ImplicitsEnabled)
555+
|| from.isInstanceOf[Super]
555556
|| (from.tpe eq NoPrefix)) NoMatchingImplicitsFailure
556557
else {
557558
def adjust(to: Type) = to.stripTypeVar.widenExpr match {

tests/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.+("") // error
3+
}

tests/untried/neg/t5063.check

Lines changed: 0 additions & 4 deletions
This file was deleted.

tests/untried/neg/t5063.scala

Lines changed: 0 additions & 3 deletions
This file was deleted.

0 commit comments

Comments
 (0)