scala3-compiler-bootstrapped/dotty.tools.dotc.transform.init/Errors

Errors

object Errors
class Object
trait Matchable
class Any

Type members

Classlikes

case class AccessCold(field: Symbol, source: Tree, trace: Vector[Tree]) extends Error
case class AccessNonInit(field: Symbol, trace: Vector[Tree]) extends Error

Access non-initialized field

Access non-initialized field

case class CallCold(meth: Symbol, source: Tree, trace: Vector[Tree]) extends Error
case class CallUnknown(meth: Symbol, source: Tree, trace: Vector[Tree]) extends Error
sealed trait Error
case class PromoteCold(source: Tree, trace: Vector[Tree]) extends Error

Promote a cold value under initialization to fully-initialized

Promote a cold value under initialization to fully-initialized

case class PromoteThis(pot: ThisRef, source: Tree, trace: Vector[Tree]) extends Error

Promote this under initialization to fully-initialized

Promote this under initialization to fully-initialized

case class PromoteWarm(pot: Warm, source: Tree, trace: Vector[Tree]) extends Error

Promote this under initialization to fully-initialized

Promote this under initialization to fully-initialized

case class UnsafePromotion(pot: Potential, source: Tree, trace: Vector[Tree], errors: Errors) extends Error

Promote a value under initialization to fully-initialized

Promote a value under initialization to fully-initialized

Types

type Errors = List[Error]

Value members

Concrete methods

def show(errs: Errors)(using Context): String

Concrete fields