Fix #4395: Handle ## when it is an Ident

Author: nicolasstucki

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

@@ -1,31 +1,15 @@
 package dotty.tools.dotc
 package transform
 
-import MegaPhase._
-import core.Denotations._
-import core.SymDenotations._
-import core.Contexts._
-import core.Types._
-import ast.Trees._
-import ast.tpd.{Apply, Tree, cpy}
-import dotty.tools.dotc.ast.tpd
-import scala.collection.mutable
-import dotty.tools.dotc._
-import core._
-import Contexts._
-import Symbols._
-import Decorators._
-import NameOps._
 import dotty.tools.dotc.ast.Trees._
-import dotty.tools.dotc.ast.{untpd, tpd}
+import dotty.tools.dotc.ast.tpd
 import dotty.tools.dotc.core.Constants.Constant
-import dotty.tools.dotc.core.Types.MethodType
-import dotty.tools.dotc.core.Names.{ Name, TermName }
-import scala.collection.mutable.ListBuffer
-import dotty.tools.dotc.core.Denotations.SingleDenotation
-import dotty.tools.dotc.core.SymDenotations.SymDenotation
-import StdNames._
-import Phases.Phase
+import dotty.tools.dotc.core.Contexts._
+import dotty.tools.dotc.core.Names.TermName
+import dotty.tools.dotc.core.StdNames._
+import dotty.tools.dotc.core.Symbols._
+import dotty.tools.dotc.core.Types._
+import dotty.tools.dotc.transform.MegaPhase.MiniPhase
 
 object InterceptedMethods {
   val name = "intercepted"
@@ -54,6 +38,16 @@ class InterceptedMethods extends MiniPhase {
     else tree
   }
 
+  override def transformIdent(tree: tpd.Ident)(implicit ctx: Context): Tree = {
+    if (tree.symbol.isTerm && (defn.Any_## eq tree.symbol.asTerm)) {
+      val cls = ctx.owner.ownersIterator.find(_.isClass).get.asClass
+      val rewrite = poundPoundValue(This(cls))
+      ctx.log(s"$phaseName rewrote $tree to $rewrite")
+      rewrite
+    }
+    else tree
+  }
+
   // TODO: add missing cases from scalac
   private def poundPoundValue(tree: Tree)(implicit ctx: Context) = {
     val s = tree.tpe.widen.typeSymbol

tests/pos/i4395.scala

@@ -0,0 +1,4 @@
+object Test {
+  val res0 = ##
+  val res1 = this.##
+}