This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Under 19.1 Determining the Static Type of a Construct we see, bottom of the table: ArrowExpr [,29] A => F(B, C) The same as the equivalent expression F(A, B, C) and, few lines below that: ArrowExpr [,29] X => F(Y, Z) The static type of the equivalent static or dynamic function call F(X, Y, Z) One of these is redundant, I think the second line is the correct one.
Thanks. Both entries were correct, but the second was more helpfully worded, so I have retained the second.