scala3-compiler-patched
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
scala3-compiler-patched/dotty.tools.dotc.core/ConstraintRunInfo

ConstraintRunInfo

dotty.tools.dotc.core.ConstraintRunInfo
trait ConstraintRunInfo

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Run
class TASTYRun
Self type

Members list

Concise view

Value members

Concrete methods

def printMaxConstraint()(using Context): Unit
def recordConstraintSize(c: Constraint, size: Int): Unit
protected def reset(): Unit
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL