Build AsyncState ending with a match expression.
Build AsyncState ending with a match expression.
The cases of the match simply resume at the state of their corresponding right-hand side.
tree of the scrutinee
list of case definitions
starting state of the right-hand side of the each case
an AsyncState representing the match expression