#validatedData
| undefined
??=
?.
{}
The | undefined in the type is exactly what licenses deleting the constructor initializer — the type now admits the state the field actually starts in. This is the load-bearing edit that the rest of the change hangs on.
Cut in editing (praise)