From cb362f9b1c7e187e08e2e8dbdcbedb1dd28b6a14 Mon Sep 17 00:00:00 2001 From: Dmitry Petrashko Date: Wed, 24 May 2017 12:59:27 +0200 Subject: [PATCH] PostTyper: also recreate Select nodes if signature changes. --- compiler/src/dotty/tools/dotc/transform/PostTyper.scala | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/compiler/src/dotty/tools/dotc/transform/PostTyper.scala b/compiler/src/dotty/tools/dotc/transform/PostTyper.scala index e6a5b2bf9746..cafa8830e8b2 100644 --- 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)