FullParameterization

dotty.tools.dotc.transform.FullParameterization
See theFullParameterization companion object

Provides methods to produce fully parameterized versions of instance methods, where the this of the enclosing class is abstracted out in an extra leading $this parameter and type parameters of the class become additional type parameters of the fully parameterized method.

Example usage scenarios are:

  • extension methods of value classes
  • implementations of trait methods
  • static protected accessors
  • local methods produced by tailrec transform

Note that the methods lift out type parameters of the class containing the instance method, but not type parameters of enclosing classes. The fully instantiated method therefore needs to be put in a scope "close" to the original method, i.e. they need to share the same outer pointer. Examples of legal positions are: in the companion object, or as a local method inside the original method.

Note: The scheme does not handle yet methods where type parameter bounds depend on value parameters of the enclosing class, as in:

class C(val a: String) extends AnyVal {
  def foo[U <: a.type]: Unit = ...
}

The expansion of method foo would lead to

def foo$extension[U <: $this.a.type]($this: C): Unit = ...

which is not typable. Not clear yet what to do. Maybe allow PolyTypes to follow method parameters and translate to the following:

def foo$extension($this: C)[U <: $this.a.type]: Unit = ...

Attributes

See also

class-dependent-extension-method.scala in pending/pos.

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Members list

Value members

Concrete methods

def forwarder(derived: TermSymbol, originalDef: DefDef, abstractOverClass: Boolean, liftThisType: Boolean)(using Context): Tree

A forwarder expression which calls derived, passing along

A forwarder expression which calls derived, passing along

  • if abstractOverClass the type parameters and enclosing class parameters of originalDef`,
  • the this of the enclosing class,
  • the value parameters of the original method originalDef.

Attributes

def fullyParameterizedDef(derived: TermSymbol, originalDef: DefDef, abstractOverClass: Boolean)(using Context): Tree

Given an instance method definition originalDef, return a fully parameterized method definition derived from originalDef, which has derived as symbol and fullyParameterizedType(originalDef.symbol.info) as info. abstractOverClass defines weather the DefDef should abstract over type parameters of class that contained original defDef

Given an instance method definition originalDef, return a fully parameterized method definition derived from originalDef, which has derived as symbol and fullyParameterizedType(originalDef.symbol.info) as info. abstractOverClass defines weather the DefDef should abstract over type parameters of class that contained original defDef

Attributes

def fullyParameterizedType(info: Type, clazz: ClassSymbol, abstractOverClass: Boolean, liftThisType: Boolean)(using Context): Type

Converts the type info of a member of class clazz to a method type that takes the this of the class and any type parameters of the class as additional parameters. Example:

Converts the type info of a member of class clazz to a method type that takes the this of the class and any type parameters of the class as additional parameters. Example:

class Foo[+A <: AnyRef](val xs: List[A]) extends AnyVal { def baz[B >: A](x: B): List[B] = ... }

leads to:

object Foo { def extension$baz[B >: A <: Any, A >: Nothing <: AnyRef]($this: Foo[A])(x: B): List[B] }

If a self type is present, $this has this self type as its type.

Value parameters

abstractOverClass

if true, include the type parameters of the class in the method's list of type parameters.

liftThisType

if true, require created $this to be $this: (Foo[A] & Foo,this). This is needed if created member stays inside scope of Foo(as in tailrec)

Attributes