Recheck

dotty.tools.dotc.transform.Recheck
See theRecheck companion class
object Recheck

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Recheck.type

Members list

Value members

Concrete methods

def normalizeByName(tp: Type)(using Context): Type

Normalize => A types to () ?=> A types

Normalize => A types to () ?=> A types

  • at the top level
  • in function and method parameter types
  • under annotations

Attributes

Concrete fields

Attachment key for rechecked types of TypeTrees

Attachment key for rechecked types of TypeTrees

Attributes

A flag used to indicate that a ParamAccessor has been temporarily made not-private Only used at the start of the Recheck phase, reset at its end. The flag repurposes the Scala2ModuleVar flag. No confusion is possible since Scala2ModuleVar cannot be also ParamAccessors.

A flag used to indicate that a ParamAccessor has been temporarily made not-private Only used at the start of the Recheck phase, reset at its end. The flag repurposes the Scala2ModuleVar flag. No confusion is possible since Scala2ModuleVar cannot be also ParamAccessors.

Attributes

Extensions

Extensions

extension (sym: Symbol)(using Context)

Does symbol have a new denotation valid from phase.next that is different from the denotation it had before?

Does symbol have a new denotation valid from phase.next that is different from the denotation it had before?

Attributes

def updateInfo(prevPhase: DenotTransformer, newInfo: Type, newFlags: FlagSet, newOwner: Symbol): Unit

Update symbol's info to newInfo after prevPhase. Also update owner to newOwnerOrNull if it is not null. The update is valid until after Recheck. After that the symbol's denotation is reset to what it was before PreRecheck.

Update symbol's info to newInfo after prevPhase. Also update owner to newOwnerOrNull if it is not null. The update is valid until after Recheck. After that the symbol's denotation is reset to what it was before PreRecheck.

Attributes

extension [T <: Tree](tree: T)

The remembered type of the tree, or if none was installed, the original type

The remembered type of the tree, or if none was installed, the original type

Attributes

def rememberType(tpe: Type)(using Context): Unit

Remember tpe as the type of tree, which might be different from the type stored in the tree itself, unless a type was already remembered for tree.

Remember tpe as the type of tree, which might be different from the type stored in the tree itself, unless a type was already remembered for tree.

Attributes

def rememberTypeAlways(tpe: Type)(using Context): Unit

Remember tpe as the type of tree, which might be different from the type stored in the tree itself

Remember tpe as the type of tree, which might be different from the type stored in the tree itself

Attributes

def withKnownType(using Context): T