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 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