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

ThisRef

case class ThisRef(source: Tree) extends Refinable

The object pointed by this

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

Value members

Concrete methods

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 level: Int

Nested levels of the potential. Used for widening

Nested levels of the potential. Used for widening

Inherited from
Potential
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