Merge pull request #8589 from dotty-staging/fix-#8582

Fix #8582: Don't resolve super to abstract members

Author: odersky

compiler/src/dotty/tools/dotc/transform/ResolveSuper.scala

@@ -86,15 +86,14 @@ object ResolveSuper {
       val other = bcs.head.info.nonPrivateDecl(memberName)
         .matchingDenotation(base.thisType, base.thisType.memberInfo(acc))
       ctx.debuglog(i"rebindsuper ${bcs.head} $other deferred = ${other.symbol.is(Deferred)}")
-      if (other.exists) {
+      if other.exists && !other.symbol.is(Deferred) then
         sym = other.symbol
         // Having a matching denotation is not enough: it should also be a subtype
         // of the superaccessor's type, see i5433.scala for an example where this matters
         val otherTp = other.asSeenFrom(base.typeRef).info
         val accTp = acc.asSeenFrom(base.typeRef).info
         if (!(otherTp.overrides(accTp, matchLoosely = true)))
           ctx.error(IllegalSuperAccessor(base, memberName, acc, accTp, other.symbol, otherTp), base.sourcePos)
-      }
 
       bcs = bcs.tail
     }

tests/run/i8582.check

@@ -0,0 +1 @@
+Suite

tests/run/i8582.scala

@@ -0,0 +1,15 @@
+trait Suite {
+  def run() = println("Suite")
+}
+trait SuiteMixin { this: Suite =>
+  def run(): Unit
+}
+trait BeforeAndAfterAll extends SuiteMixin { this: Suite =>
+  abstract override def run() = super.run()
+}
+class MySpec extends Suite with BeforeAndAfterAll
+object Test {
+  def main(args: Array[String]): Unit = {
+    new MySpec().run()
+  }
+}