Preserve an inferred state type when its reachable properties are
statically compatible with the durable patch/persistence contract.
Recursive types are inspected to a finite depth and broad {}-shaped
values cannot be proven from their static type alone. The strict factory
therefore also validates the concrete initial value at runtime.
Preserve an inferred state type when its reachable properties are statically compatible with the durable patch/persistence contract.
Recursive types are inspected to a finite depth and broad
{}-shaped values cannot be proven from their static type alone. The strict factory therefore also validates the concrete initial value at runtime.