Attributes
Members list
Value members
Concrete methods
If tree carries a RecheckedTypes attachment, use the associated nuTypes map to produce a new tree that contains at each node the type in the map as the node's .tpe field
If tree carries a RecheckedTypes attachment, use the associated nuTypes map to produce a new tree that contains at each node the type in the map as the node's .tpe field
Attributes
Map ExprType => T to () ?=> T (and analogously for pure versions). Even though this phase runs after ElimByName, ExprTypes can still occur as by-name arguments of applied types. See note in doc comment for ElimByName phase. Test case is bynamefun.scala.
Map ExprType => T to () ?=> T (and analogously for pure versions). Even though this phase runs after ElimByName, ExprTypes can still occur as by-name arguments of applied types. See note in doc comment for ElimByName phase. Test case is bynamefun.scala.
Attributes
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 a toplevel tree of a unit that contains a map from nodes in that tree to their rechecked "new" types
Attachment key for a toplevel tree of a unit that contains a map from nodes in that tree to their rechecked "new" types
Attributes
Extensions
Extensions
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
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.