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
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.