diff --git a/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala index 812c94bd0f2c..b3eda0d946b3 100644 --- a/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala +++ b/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala @@ -376,8 +376,7 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) { else if (name.isTypeName) typeText(txt) else txt case tree @ Select(qual, name) => - if (!printDebug && tree.hasType && tree.symbol.isTypeSplice) typeText("${") ~ toTextLocal(qual) ~ typeText("}") - else if (qual.isType) toTextLocal(qual) ~ "#" ~ typeText(toText(name)) + if (qual.isType) toTextLocal(qual) ~ "#" ~ typeText(toText(name)) else toTextLocal(qual) ~ ("." ~ nameIdText(tree) provided (name != nme.CONSTRUCTOR || printDebug)) case tree: This => optDotPrefix(tree) ~ keywordStr("this") ~ idText(tree)