New Flow Language Rule: Constrained Writes

:::info[Historical] This post announced the constrained writes rule when it was introduced. For current syntax and behavior, see the Variables documentation. :::

Flow is releasing a new language rule that determines the type of an unannotated variable at its initialization. Along with these new rules come several fixes to soundness bugs that were causing refinements to not be invalidated.