Print max constraint under -Ydetailed-stats

Author: odersky

compiler/src/dotty/tools/dotc/core/ConstraintRunInfo.scala

@@ -2,7 +2,7 @@ package dotty.tools.dotc
 package core
 
 import Contexts._
-import config.Printers.typr
+import config.Printers.{default, typr}
 
 trait ConstraintRunInfo { self: Run =>
   private[this] var maxSize = 0
@@ -12,8 +12,9 @@ trait ConstraintRunInfo { self: Run =>
       maxSize = size
       maxConstraint = c
     }
-  def printMaxConstraint()(implicit ctx: Context) =
-    if (maxSize > 0) typr.println(s"max constraint = ${maxConstraint.show}")
-
+  def printMaxConstraint()(implicit ctx: Context) = {
+    val printer = if (ctx.settings.YdetailedStats.value) default else typr
+    if (maxSize > 0) printer.println(s"max constraint = ${maxConstraint.show}")
+  }
   protected def reset() = maxConstraint = null
 }