Johnni Winther
5518abf1c7
This updates the message report for non-exhaustive switch statements and expressions to include the witness in the problem message and a reduced witness, which doesn't include properties that fully cover the static type. The message is also split into two messages; one for switch statements and one for switch expressions, allowing for a better wording regarding the default/wildcard pattern case. Change-Id: I17db657ef12ade5d47fa96bf69b8807e33ed5b8c Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/293040 Reviewed-by: Paul Berry <paulberry@google.com> Commit-Queue: Johnni Winther <johnniwinther@google.com>