Internal type checking error under local type inference

[flex-tjon]

Flow version: 0.198.2, inference_mode=lti

Expected behavior

No type errors under local type inference

Actual behavior

There's an internal type checking exception and an incompatible-type error that I think is a consequence of the internal exception.

• Link to Try-Flow or Github repo: Link, need to check with master branch to see the errors under LTI

[mvitousek]

Thanks so much for the report and repro! We've identified the issue here and will have a fix in the next release. For now you can avoid this issue by adding an annotation to the declaration of validPair, which will address both errors.

[flex-tjon]

Ah awesome, thank you for your quick response! Glad to be unblocked for now 😄