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

UnsafePromotion

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

Promote a value under initialization to fully-initialized

trait Product
trait Equals
trait Error
class Object
trait Matchable
class Any

Value members

Concrete methods

override def issue(using Context): Unit
Definition Classes
def show(using Context): String

Inherited methods

def pos(using Context): SourcePosition
Inherited from:
Error
def productIterator: Iterator[Any]
Inherited from:
Product
def stacktrace(using Context): String
Inherited from:
Error
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
Error -> Any
Inherited from:
Error