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

ThisRef

case class ThisRef(source: Tree) extends Refinable

The object pointed by this

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)(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)(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