Local Type Inference for Flow

:::info[Historical] This post announced local type inference when it was introduced. For current syntax and behavior, see the Annotation Requirement documentation. :::

Local Type Inference makes Flow’s inference behavior more reliable and predictable, by modestly increasing Flow’s annotation requirement, bringing it closer to industry standard and capitalizing on increasingly strongly and explicitly typed codebases.