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

Refinable

sealed trait Refinable extends Potential
trait Potential
class Object
trait Matchable
class Any
class ThisRef
class Warm

Value members

Concrete 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

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 methods

def level: Int

Nested levels of the potential. Used for widening

Nested levels of the potential. Used for widening

Inherited from
Potential
def show(using Context): String
Inherited from
Potential
def size: Int

Length of the potential. Used for widening

Length of the potential. Used for widening

Inherited from
Potential
def source: Tree
Inherited from
Potential
def toPots: Potentials
Inherited from
Potential