Migrate block 162 to Dart 2.0.

tests/language/type_propagation_test.dart

-// Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file

[eernst, 2017/09/04 17:04:56]

Lost coverage: don't delete this file.

-// for details. All rights reserved. Use of this source code is governed by a
-// BSD-style license that can be found in the LICENSE file.
-
-// dart2js used to have an infinite loop in its type propagation
-// algorithm due to types becoming broader instead of narrower.
-
-import "package:expect/expect.dart";
-
-class A {
-  resolveSend(node) {
-    if (node == null) {
-      return [new B()][0];
-    } else {
-      return [new B(), new A()][1];
-    }
-  }
-
-  visitSend(node) {
-    var target = resolveSend(node);
-
-    if (false) {
-      if (false) {
-        target = target.getter;
-        if (false) {
-          target = new Object();
-        }
-      }
-    }
-    return true ? target : null;
-  }
-}
-
-var a = 43;
-
-class B {
-  var getter = a == 42 ? new A() : null;
-}
-
-main() {
-  Expect.isTrue(new A().visitSend(new A()) is A);
-  Expect.isTrue(new A().visitSend(null) is B);
-}