blob: 4b7e22653e0b7066a33219ffccd8903db6129570 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
package dotty.tools.dotc
package core
import Contexts._, config.Printers._
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}")
}
|