Annotation Requirement | Flow

Flow uses Local Type Inference as its inference algorithm. The rules in this section reflect the main design features in this inference scheme.