scala3-compiler-bootstrapped/dotty.tools.dotc.transform.init/Potentials/Warm

Warm

case class Warm(classSymbol: ClassSymbol, outer: Potential)(source: Tree) extends Refinable

A warm potential represents an object of which all fields are initialized, but it may contain reference to objects under initialization.

Value Params
classSymbol

The concrete class of the object

outer

The potential for this of the enclosing class

trait Product
trait Equals
trait Refinable
trait Potential
class Object
trait Matchable
class Any

Value members

Concrete methods

override def level: Int
Definition Classes
def resolveOuter(cls: ClassSymbol)(implicit env: Env): Potentials
def show(using Context): String

Inherited methods

def effectsOf(sym: Symbol)(implicit env: Env): Effects

Effects of a method call or a lazy val access

Effects of a method call or a lazy val access

The method performs prefix substitution

Inherited from
Refinable
def potentialsOf(sym: Symbol)(implicit env: Env): Potentials

Potentials of a field, a method call or a lazy val access

Potentials of a field, a method call or a lazy val access

The method performs prefix substitution

Inherited from
Refinable
def productIterator: Iterator[Any]
Inherited from
Product
def size: Int

Length of the potential. Used for widening

Length of the potential. Used for widening

Inherited from
Potential
def toPots: Potentials
Inherited from
Potential

Concrete fields

val source: Tree