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

Errors

object Errors
class Object
trait Matchable
class Any
Errors.type

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