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

Potential

sealed trait Potential

A potential represents an aliasing of a value that is possibly under initialization

class Object
trait Matchable
class Any
trait Refinable
class ThisRef
class Warm
class SuperRef
class Outer
class Cold
class Fun

Value members

Abstract methods

def show(using Context): String
def source: Tree

Concrete methods

def level: Int

Nested levels of the potential. Used for widening

Nested levels of the potential. Used for widening

def size: Int

Length of the potential. Used for widening

Length of the potential. Used for widening