Migrate block 162 to Dart 2.0.

tests/language_2/type_promotion_parameter_test.dart

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

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

All OK.

NB: I downloaded the patch and compared with the current copy of
language/type_promotion_parameter_test.dart, and I can see that this test has
been changed by a consistent replacement: 'static type warning' -->
'compile-time error'. That's fine! But it is a bit inconvenient that the updates
cannot be seen in Rietveld, so you have to download the patch, apply it, and
then compare.

+// 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.
+
+// Test type promotion of parameters.
+
+class A {
+  var a = "a";
+}
+
+class B extends A {
+  var b = "b";
+}
+
+class C extends B {
+  var c = "c";
+}
+
+class D extends A {
+  var d = "d";
+}
+
+class E implements C, D {
+  var a = "";
+  var b = "";
+  var c = "";
+  var d = "";
+}
+
+void main() {
+  test(new E());
+}
+
+void test(A a) {
+  print(a.a);
+  print(a.b); //# 01: compile-time error
+  print(a.c); //# 02: compile-time error
+  print(a.d); //# 03: compile-time error
+
+  if (a is B) {
+    print(a.a);
+    print(a.b);
+    print(a.c); //# 04: compile-time error
+    print(a.d); //# 05: compile-time error
+
+    if (a is C) {
+      print(a.a);
+      print(a.b);
+      print(a.c);
+      print(a.d); //# 06: compile-time error
+    }
+
+    print(a.a);
+    print(a.b);
+    print(a.c); //# 07: compile-time error
+    print(a.d); //# 08: compile-time error
+  }
+  if (a is C) {
+    print(a.a);
+    print(a.b);
+    print(a.c);
+    print(a.d); //# 09: compile-time error
+
+    if (a is B) {
+      print(a.a);
+      print(a.b);
+      print(a.c);
+      print(a.d); //# 10: compile-time error
+    }
+    if (a is D) {
+      print(a.a);
+      print(a.b);
+      print(a.c);
+      print(a.d); //# 11: compile-time error
+    }
+
+    print(a.a);
+    print(a.b);
+    print(a.c);
+    print(a.d); //# 12: compile-time error
+  }
+
+  print(a.a);
+  print(a.b); //# 13: compile-time error
+  print(a.c); //# 14: compile-time error
+  print(a.d); //# 15: compile-time error
+
+  if (a is D) {
+    print(a.a);
+    print(a.b); //# 16: compile-time error
+    print(a.c); //# 17: compile-time error
+    print(a.d);
+  }
+
+  print(a.a);
+  print(a.b); //# 18: compile-time error
+  print(a.c); //# 19: compile-time error
+  print(a.d); //# 20: compile-time error
+
+  var o1 = a is B
+          ? '${a.a}'
+              '${a.b}'
+      '${a.c}' //# 21: compile-time error
+      '${a.d}' //# 22: compile-time error
+          : '${a.a}'
+      '${a.b}' //# 23: compile-time error
+      '${a.c}' //# 24: compile-time error
+      '${a.d}' //# 25: compile-time error
+      ;
+
+  var o2 = a is C
+          ? '${a.a}'
+              '${a.b}'
+              '${a.c}'
+      '${a.d}' //# 26: compile-time error
+          : '${a.a}'
+      '${a.b}' //# 27: compile-time error
+      '${a.c}' //# 28: compile-time error
+      '${a.d}' //# 29: compile-time error
+      ;
+
+  var o3 = a is D
+          ? '${a.a}'
+      '${a.b}' //# 30: compile-time error
+      '${a.c}' //# 31: compile-time error
+              '${a.d}'
+          : '${a.a}'
+      '${a.b}' //# 32: compile-time error
+      '${a.c}' //# 33: compile-time error
+      '${a.d}' //# 34: compile-time error
+      ;
+
+  if (a is B && a is B) {
+    print(a.a);
+    print(a.b);
+    print(a.c); //# 35: compile-time error
+    print(a.d); //# 36: compile-time error
+  }
+  if (a is B && a is C) {
+    print(a.a);
+    print(a.b);
+    print(a.c);
+    print(a.d); //# 37: compile-time error
+  }
+  if (a is C && a is B) {
+    print(a.a);
+    print(a.b);
+    print(a.c);
+    print(a.d); //# 38: compile-time error
+  }
+  if (a is C && a is D) {
+    print(a.a);
+    print(a.b);
+    print(a.c);
+    print(a.d); //# 39: compile-time error
+  }
+  if (a is D && a is C) {
+    print(a.a);
+    print(a.b); //# 40: compile-time error
+    print(a.c); //# 41: compile-time error
+    print(a.d);
+  }
+  if (a is D &&
+      a.a == ""
+      && a.b == "" // //# 42: compile-time error
+      && a.c == "" // //# 43: compile-time error
+      &&
+      a.d == "") {
+    print(a.a);
+    print(a.b); //# 44: compile-time error
+    print(a.c); //# 45: compile-time error
+    print(a.d);
+  }
+  if (a.a == ""
+      && a.b == "" //# 46: compile-time error
+      && a.c == "" //# 47: compile-time error
+      && a.d == "" //# 48: compile-time error
+          &&
+          a is B &&
+          a.a == "" &&
+          a.b == ""
+      && a.c == "" //# 49: compile-time error
+      && a.d == "" //# 50: compile-time error
+          &&
+          a is C &&
+          a.a == "" &&
+          a.b == "" &&
+          a.c == ""
+      && a.d == "" //# 51: compile-time error
+      ) {
+    print(a.a);
+    print(a.b);
+    print(a.c);
+    print(a.d); //# 52: compile-time error
+  }
+  if ((a is B)) {
+    print(a.a);
+    print(a.b);
+    print(a.c); //# 54: compile-time error
+    print(a.d); //# 55: compile-time error
+  }
+  if ((a is B && (a) is C) && a is B) {
+    print(a.a);
+    print(a.b);
+    print(a.c);
+    print(a.d); //# 56: compile-time error
+  }
+}