blob: e0f659cc650443f064a446110622930c05b24161 (
plain) (
tree)
|
|
package dotty.tools.dotc
package core
import Contexts._
import config.Printers.typr
trait ConstraintRunInfo { self: RunInfo =>
private var maxSize = 0
private var maxConstraint: Constraint = _
def recordConstraintSize(c: Constraint, size: Int) =
if (size > maxSize) {
maxSize = size
maxConstraint = c
}
def printMaxConstraint()(implicit ctx: Context) =
if (maxSize > 0) typr.println(s"max constraint = ${maxConstraint.show}")
}
|