tree f6512dacb5faf57783e1b11f6d211a37d7ce1ad5
parent 55496a1282e3e15356a3e2509c62f6f03f65671c
author Johnni Winther <johnniwinther@google.com> 1601022903 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1601022903 +0000

[cfe] Throw error on exhaustive switch and expression of type Never

This requires a change to flow analysis that does not promote
expressions to Never through is-tests and equality tests.

Change-Id: Iec2ba5b78e61d205ad21dad6f07dbdb25fc746d3
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/163380
Reviewed-by: Dmitry Stefantsov <dmitryas@google.com>