Rewrite the exhaustiveness specification.#2948

munificent merged 3 commits intomasterdart-lang/language:masterfrom

revise-exhaustivenessdart-lang/language:revise-exhaustivenessCopy head branch name to clipboard