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: Seq[Tree]) extends Error
case
class AccessNonInit(field: Symbol, trace: Seq[Tree]) extends Error

Access non-initialized field

Access non-initialized field

case
class CallCold(meth: Symbol, source: Tree, trace: Seq[Tree]) extends Error
case
class CallUnknown(meth: Symbol, source: Tree, trace: Seq[Tree]) extends Error
sealed
trait Error
case
class PromoteError(msg: String, source: Tree, trace: Seq[Tree]) extends Error

Promote this under initialization to fully-initialized

Promote this under initialization to fully-initialized

case
class UnsafePromotion(msg: String, source: Tree, trace: Seq[Tree], errors: Errors) extends Error

Promote a value under initialization to fully-initialized

Promote a value under initialization to fully-initialized

Types

type Errors = Seq[Error]

Value members

Concrete methods

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

Concrete fields