[flow analysis] Rework _EqualityCheckResult using patterns.
The class `_EqualityCheckResult`, and its subtypes, were introduced
prior to support for patterns. This change makes
`_EqualityCheckResult` into a sealed class and changes the logic that
consumes it to use `switch` statements rather than `is` tests. The
resulting logic is equivalent, but I believe it's easier to read.
This paves the way for adding a new kind of `_EqualityCheckResult`,
which I'll need to do to support the new `sound-flow-analysis`
feature. (The new kind of `_EqualityCheckResult` will be used in the
circumstance where the two operands of an equality comparison are
guaranteed to be unequal because of their types).
Bug: https://github.com/dart-lang/sdk/issues/60438
Change-Id: I217da37847beff5a43bddb5ed734cc3e4c74970a
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/420184
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Commit-Queue: Paul Berry <paulberry@google.com>
https://dart.googlesource.com/sdk/+/2d1094aa3ff2f1a6b67f901b8903f543481fd3dc
diff --git a/DEPS b/DEPS
index e39e536..09242fd 100644
--- a/DEPS
+++ b/DEPS
@@ -238,7 +238,7 @@
]
deps = {
- 'flutter/engine/src/flutter/third_party/dart': Var('dart_git') + '/sdk' + '@' + 'b194e293addf63f7cce37d99418c3af8aadd622a',
+ 'flutter/engine/src/flutter/third_party/dart': Var('dart_git') + '/sdk' + '@' + '2d1094aa3ff2f1a6b67f901b8903f543481fd3dc',
'flutter': Var('flutter_git') + '/mirrors/flutter' + '@' + 'd6c0d6fee7d6161b0ec60cd4c9e2022e7e00f002',
diff --git a/commits.json b/commits.json
index 3ce4d8b..ca3a079 100644
--- a/commits.json
+++ b/commits.json
@@ -1,4 +1,4 @@
{
"flutter":"d6c0d6fee7d6161b0ec60cd4c9e2022e7e00f002",
- "flutter/engine/src/flutter/third_party/dart":"b194e293addf63f7cce37d99418c3af8aadd622a"
+ "flutter/engine/src/flutter/third_party/dart":"2d1094aa3ff2f1a6b67f901b8903f543481fd3dc"
}
\ No newline at end of file
