Add tests for generic methods in strong mode

tests/language_strong/generic_methods_local_function_test.dart

+// Copyright (c) 2017, the Dart project authors.  Please see the AUTHORS 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.
+
+library generic_methods_local_function_test;
+
+import "package:expect/expect.dart";
+
+class A {}
+
+void bubbleSort<T extends Comparable<T>>(List<T> list) {

[karlklose, 2017/03/09 09:17:00]

Maybe you can merge this test with
'tests/language_strong/generic_methods_closure_test.dart'.

[Dmitry Stefantsov, 2017/03/10 13:21:54]

Yes. This makes sense. Moved these checks to the closure test.

+  void swap<S extends Comparable<S>>(List<S> list, int i, int j) {
+    S s = list[i];
+    list[i] = list[j];
+    list[j] = s;
+
+    Expect.isTrue(list[i] is S);
+
+    A a = new A(); // A does not extend Comparable<A>, so A != S
+    Expect.isTrue(a is! S); // fails if S is substituted with dynamic
+  }
+
+  for (int n = list.length; n > 1; n--) {
+    for (int i = 1; i < n; ++i) {
+      if (list[i - 1].compareTo(list[i]) > 0) {
+        swap<T>(list, i - 1, i);
+      }
+    }
+  }
+}
+
+main() {
+  List<int> list = <int>[5, 4, 3, 2, 1];
+  bubbleSort<num>(list);
+
+  Expect.isTrue(list[0] == 1);

[floitsch, 2017/03/09 11:27:17]

Expect.listEquals

[Dmitry Stefantsov, 2017/03/10 13:21:54]

Good idea. As explained above, these tests are abstracted out, so we don't need
this check for correctness of sorting anymore.

+  Expect.isTrue(list[1] == 2);
+  Expect.isTrue(list[2] == 3);
+  Expect.isTrue(list[3] == 4);
+  Expect.isTrue(list[4] == 5);
+}