From 1e806d481eba239a0c2815f38161b6c251d9e6e3 Mon Sep 17 00:00:00 2001 From: Nicolas Stucki Date: Tue, 12 Nov 2019 21:36:36 +0100 Subject: [PATCH] Fix #4657: Remove special case that is not needed anymore --- compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala | 6 ------ 1 file changed, 6 deletions(-) diff --git a/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala index 809ea70a236f..2dbe50cdc3db 100644 --- a/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala +++ b/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala @@ -229,12 +229,6 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) { toTextParents(tp.parents) ~~ "{...}" case JavaArrayType(elemtp) => toText(elemtp) ~ "[]" - case tp: AnnotatedType if homogenizedView => - // Positions of annotations in types are not serialized - // (they don't need to because we keep the original type tree with - // the original annotation anyway. Therefore, there will always be - // one version of the annotation tree that has the correct positions). - withoutPos(super.toText(tp)) case tp: SelectionProto => "?{ " ~ toText(tp.name) ~ (Str(" ") provided !tp.name.toSimpleName.last.isLetterOrDigit) ~