Is it allowed to commit this state?
Can this state be transitively committed until the top-level?
Commit typer state so that its information is copied into current typer state In addition (1) the owning state of undetermined or temporarily instantiated type variables changes from this typer state to the current one. (2) Variables that were temporarily instantiated in the current typer state are permanently instantiated instead.
A note on merging: An interesting test case is isApplicableSafe.scala. It turns out that this requires a context merge using the new `&' operator. Sequence of actions: 1) Typecheck argument in typerstate 1. 2) Cache argument. 3) Evolve same typer state (to typecheck other arguments, say) leading to a different constraint. 4) Take typechecked argument in same state.
It turns out that the merge is needed not just for isApplicableSafe but also for (e.g. erased-lubs.scala) as well as many parts of dotty itself.
The current constraint set
The ephemeral flag is set as a side effect if an operation accesses the underlying type of a type variable. The reason we need this flag is that any such operation is not referentially transparent; it might logically change its value at the moment the type variable is instantiated. Caching code needs to check the ephemeral flag; If the flag is set during an operation, the result of that operation should not be cached.
A fresh typer state with the same constraint as this one.
Make type variable instances permanent by assigning to
inst field if
type variable instantiation cannot be retracted anymore. Then, remove
no-longer needed constraint entries.
A string showing the hashes of all nested mutable typerstates
The current reporter
The text representation of this showable element. This normally dispatches to a pattern matching method in Printers.
The closest ancestor of this typer state (including possibly this typer state itself) which is not yet committed, or which does not have a parent.
A fresh type state with the same constraint as this one and the given reporter