PostTyper: also recreate Select nodes if signature changes.

scala · May 24, 2017 · cb362f9 · cb362f9
1 parent 37128e4
commit cb362f9
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/compiler/src/dotty/tools/dotc/transform/PostTyper.scala b/compiler/src/dotty/tools/dotc/transform/PostTyper.scala
@@ -176,8 +176,10 @@ class PostTyper extends MacroTransform with IdentityDenotTransformer  { thisTran
             Checking.checkRealizable(qual.tpe, qual.pos.focus)
             super.transform(tree)
           }
-          else
-            transformSelect(paramFwd.adaptRef(fixSignature(tree)), Nil)
+          else {
+            super.transform(transformSelect(paramFwd.adaptRef(fixSignature(tree)), Nil))
+          }
+
         case tree: Super =>
           if (ctx.owner.enclosingMethod.isInlineMethod)
             ctx.error(em"super not allowed in inline ${ctx.owner}", tree.pos)