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, 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, trace: Seq[Tree]) extends Error
case class CallUnknown(meth: Symbol, trace: Seq[Tree]) extends Error
sealed trait Error
case class PromoteError(msg: String, trace: Seq[Tree]) extends Error

Promote a value under initialization to fully-initialized

Promote a value under initialization to fully-initialized

case class UnsafeLeaking(trace: Seq[Tree], error: Error, nonHotOuterClass: Symbol, argsIndices: List[Int]) extends Error

Unsafe leaking a non-hot value as constructor arguments

Unsafe leaking a non-hot value as constructor arguments

Invariant: argsIndices.nonEmpty

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

Promote a value under initialization to fully-initialized

Promote a value under initialization to fully-initialized

Value members

Concrete methods

def buildStacktrace(trace: Seq[Tree], preamble: String)(using Context): String
override def toString(): String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Returns:

a string representation of the object.

Definition Classes
Any