Nullsafe assumes all initializer methods will be called after the constructor is called. (Nullsafe does not check if this assumption is indeed true).</li><li>Nullsafe uses assumption 2, in order to check if class fields were initialized or not. (a non-nullable field is considered not initialized if it is not initialized in at least one constructor).</li></ol></aside><dl><dt class="spec value" id="val-final_initializer_typestates_lazy"><a href="#val-final_initializer_typestates_lazy" class="anchor"></a><code