WIP: Temporarily disregard targetnames for certain transforms

Author: odersky

compiler/src/dotty/tools/dotc/reporting/messages.scala

@@ -2220,7 +2220,8 @@ import transform.SymUtils._
       // does in classes, i.e. followed the linearization of the trait itself.
       val staticSuperCall = {
         val staticSuper = accMixin.asClass.info.parents.reverse
-          .find(_.nonPrivateMember(memberName).matchingDenotation(accMixin.thisType, acc.info).exists)
+          .find(_.nonPrivateMember(memberName)
+            .matchingDenotation(accMixin.thisType, acc.info, EmptyTermName).exists) // !!! TODO: Adapt to @targetName
         val staticSuperName = staticSuper match {
           case Some(parent) =>
             parent.classSymbol.name.show

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

@@ -938,7 +938,7 @@ object Erasure {
           val origName = retainer.name.asTermName.exclude(BodyRetainerName)
           val inlineMeth = atPhase(typerPhase) {
             retainer.owner.info.decl(origName)
-              .matchingDenotation(retainer.owner.thisType, stat.symbol.info)
+              .matchingDenotation(retainer.owner.thisType, stat.symbol.info, origName) // !!! do something baout @targetName
               .symbol
           }
           (inlineMeth, stat)

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

@@ -95,7 +95,7 @@ object ResolveSuper {
     while (bcs.nonEmpty && sym == NoSymbol) {
       val other = bcs.head.info.nonPrivateDecl(memberName)
         .filterWithPredicate(denot => mix.isEmpty || denot.symbol.owner.name == mix)
-        .matchingDenotation(base.thisType, base.thisType.memberInfo(acc))
+        .matchingDenotation(base.thisType, base.thisType.memberInfo(acc), memberName) // !!! TODO: rebind with targetName
       report.debuglog(i"rebindsuper ${bcs.head} $other deferred = ${other.symbol.is(Deferred)}")
       if other.exists && !other.symbol.is(Deferred) then
         sym = other.symbol
@@ -108,7 +108,7 @@ object ResolveSuper {
 
       bcs = bcs.tail
     }
-    assert(sym.exists)
+    assert(sym.exists, i"cannot rebind $acc, ${acc.erasedName} $memberName")
     sym
   }
 }