We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 81cd4de + 140e57c commit 86c4e72Copy full SHA for 86c4e72
compiler/src/dotty/tools/dotc/typer/Implicits.scala
@@ -552,6 +552,7 @@ trait Implicits { self: Typer =>
552
|| (from.tpe isRef defn.NothingClass)
553
|| (from.tpe isRef defn.NullClass)
554
|| !(ctx.mode is Mode.ImplicitsEnabled)
555
+ || from.isInstanceOf[Super]
556
|| (from.tpe eq NoPrefix)) NoMatchingImplicitsFailure
557
else {
558
def adjust(to: Type) = to.stripTypeVar.widenExpr match {
tests/neg/t5063.scala
@@ -0,0 +1,3 @@
1
+class A {
2
+ super.+("") // error
3
+}
tests/untried/neg/t5063.check
tests/untried/neg/t5063.scala
0 commit comments