[nnbd_migration] Remove TODO now that do-while is more supported

MichaelRFairhurst · commit-bot@chromium.org · commit 26592626c680 · 2019-08-12T20:16:15.000Z
Change-Id: Idfaa290290954d6b4bdf131a26f760b85c7e4312 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/112649 Reviewed-by: Paul Berry <paulberry@google.com> Commit-Queue: Mike Fairhurst <mfairhurst@google.com>
diff --git a/pkg/nnbd_migration/test/edge_builder_test.dart b/pkg/nnbd_migration/test/edge_builder_test.dart
@@ -2568,9 +2568,8 @@ void test(bool b, C c) {
 }
 ''');
 
-    // TODO(mfairhurst): enable this check
-    //assertNullCheck(checkExpression('b/*check*/'),
-    //    assertEdge(decoratedTypeAnnotation('bool b').node, never, hard: false));
+    assertNullCheck(checkExpression('b/*check*/'),
+        assertEdge(decoratedTypeAnnotation('bool b').node, never, hard: false));
     assertNullCheck(checkExpression('c.m'),
         assertEdge(decoratedTypeAnnotation('C c').node, never, hard: false));
   }
@@ -2591,9 +2590,8 @@ void test(bool b, C c1, C c2) {
 }
 ''');
 
-    // TODO(mfairhurst): enable this check
-    //assertNullCheck(checkExpression('b/*check*/'),
-    //    assertEdge(decoratedTypeAnnotation('bool b').node, never, hard: true));
+    assertNullCheck(checkExpression('b/*check*/'),
+        assertEdge(decoratedTypeAnnotation('bool b').node, never, hard: true));
     assertNullCheck(checkExpression('c1.m'),
         assertEdge(decoratedTypeAnnotation('C c1').node, never, hard: true));
     assertNullCheck(checkExpression('c2.m'),
