Flow cannot parse conditional expression that includes assignment and arrow

[sosukesuzuki]

Flow version: 0.157.0

Expected behavior

Succeeds in parsing the following code

(a ? (b = c) : d => e);

Actual behavior

Failed to parse the above code

• Link to Try-Flow or Github repo: https://flow.org/try/#0BQQwBA-GwEZgvGAxgSjALjAEwQPjAKYoDcQA

Additional Info

@babel/parser can parse the above code since 7.15.3 (ref: babel/babel#13655 )

[SamChou19815]

I think Flow is interpreting the sequence (b = c) : d => e to be an arrow function with parameter b of default value c, with return type d and return value e.
It considers the entire sequence as the first branch of the ternary expression, so it expects a : to start the second branch.
Actually TypeScript seems to have the same problem.