Merge pull request #1534 from OlivierBlanvillain/clean-up-printers

Clean up config.Printers imports

1 files changed, 6 insertions, 5 deletions

diff --git a/src/dotty/tools/dotc/typer/TypeAssigner.scala b/src/dotty/tools/dotc/typer/TypeAssigner.scala
index e1c9850d9..78919ccb6 100644
--- a/src/dotty/tools/dotc/typer/TypeAssigner.scala
+++ b/src/dotty/tools/dotc/typer/TypeAssigner.scala
@@ -8,7 +8,7 @@ import Scopes._, Contexts._, Constants._, Types._, Symbols._, Names._, Flags._,
 import ErrorReporting._, Annotations._, Denotations._, SymDenotations._, StdNames._, TypeErasure._
 import TypeApplications.AppliedType
 import util.Positions._
-import config.Printers._
+import config.Printers.typr
 import ast.Trees._
 import NameOps._
 import collection.mutable
@@ -81,10 +81,11 @@ trait TypeAssigner {
                   parentType.findMember(decl.name, info.cls.thisType, Private)
                     .suchThat(decl.matches(_))
                 val inheritedInfo = inherited.info
-                if (inheritedInfo.exists && decl.info <:< inheritedInfo && !(inheritedInfo <:< decl.info))
-                  typr.echo(
-                    i"add ref $parent $decl --> ",
-                    RefinedType(parent, decl.name, decl.info))
+                if (inheritedInfo.exists && decl.info <:< inheritedInfo && !(inheritedInfo <:< decl.info)) {
+                  val r = RefinedType(parent, decl.name, decl.info)
+                  typr.println(i"add ref $parent $decl --> " + r)
+                  r
+                }
                 else
                   parent
               }