Migration: update nullability graph debug dump to support union edges.

stereotype441 · commit-bot@chromium.org · commit 9dee307bdb84 · 2019-06-30T16:39:17.000Z
Change-Id: Ic9b85656b1e0d81468c73c89a08bfac611060534 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/107514 Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
diff --git a/pkg/nnbd_migration/lib/src/nullability_node.dart b/pkg/nnbd_migration/lib/src/nullability_node.dart
@@ -167,7 +167,9 @@ class NullabilityGraph {
       var destinations =
           edges.where((edge) => edge.primarySource == source).map((edge) {
         var suffixes = <Object>[];
-        if (edge.hard) {
+        if (edge.isUnion) {
+          suffixes.add('union');
+        } else if (edge.hard) {
           suffixes.add('hard');
         }
         suffixes.addAll(edge.guards);
