Effects

Effects that are related to safe initialization performed on potentials

Field access, a.f

Method call, a.m()

A promotion effect means that a value that's possibly under initialization is promoted from the initializing world to the fully-initialized world.

Essentially, this effect enforces that the object pointed to by potential is transitively initialized.

This effect is trigger in several scenarios:

• a potential is used as arguments to method calls or new-expressions
• a potential is assigned (not initialize) to a field
• the selection chain on a potential is too long