Is the lexical grammar in The Swift Programming Language out of date?

[taylorswift]

looking through TSPL, it seems like some of the production rules in that book are out of date:

• compound types allow a type annotation, which has the form
  type-annotation → : attributes? 'inout'? type,
  but attributes and inout are not allowed in a tuple type, i thought.
• function types do not seem to have been updated with async.
• the function-type-argument-clause rule does not seem to account for multiple variadic parameters.

do these need to be fixed?