af8e29142b
This makes some parts of the specification explicit, and rephrases it so that it is easier to recognize the separate cases. Change-Id: Ifdbb5c11ec3b3fe80737642f230ee291a18a5841 Reviewed-on: https://dart-review.googlesource.com/c/80824 Commit-Queue: Lasse R.H. Nielsen <lrn@google.com> Reviewed-by: Erik Ernst <eernst@google.com>