scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.transform/dotty.tools.dotc.transform.init/Errors/UnsafePromotion

UnsafePromotion

dotty.tools.dotc.transform.init.Errors.UnsafePromotion
case class UnsafePromotion(msg: String, error: Error)(trace: Trace) extends Error

Promote a value under initialization to fully-initialized

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Error
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def show(using Context): String

Inherited methods

def issue(using Context): Unit

Attributes

Inherited from:
Error
def pos(using Context): SourcePosition

Attributes

Inherited from:
Error
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def stacktrace(using Context): String

Attributes

Inherited from:
Error

Concrete fields

val trace: Trace
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL