Add generic-methods 'golden' tests for 'reify' transformation

pkg/kernel/testcases/reify/generic_methods_optional_parameters_test.dart

Index: pkg/kernel/testcases/reify/generic_methods_optional_parameters_test.dart
diff --git a/pkg/kernel/testcases/reify/generic_methods_optional_parameters_test.dart b/pkg/kernel/testcases/reify/generic_methods_optional_parameters_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..8b5f1067584c0a6b1ac0d9adbfb9f620ce30cd4e
--- /dev/null
+++ b/pkg/kernel/testcases/reify/generic_methods_optional_parameters_test.dart
@@ -0,0 +1,41 @@
+// 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.
+
+// Test that generic methods with optional parameters are of correct type.
+
+library generic_methods_optional_parameters_test;
+
+import "test_base.dart";
+
+typedef FunObjObj = Object Function<T>(Object, [Object]);
+typedef FunTypObj = Object Function<T>(T, [Object]);
+typedef FunObjTyp = Object Function<T>(Object, [T]);
+typedef FunTypTyp = Object Function<T>(T, [T]);
+
+Object funObjObj<T>(Object x, [Object y]) => x;
+Object funTypObj<T>(T x, [Object y]) => y;
+Object funObjTyp<T>(Object x, [T y]) => x;
+Object funTypTyp<T>(T x, [T y]) => null;
+
+main() {
+  expectTrue(funObjObj is FunObjObj);
+  expectTrue(funObjObj is FunTypObj);
+  expectTrue(funObjObj is FunObjTyp);
+  expectTrue(funObjObj is FunTypTyp);
+
+  expectTrue(funTypObj is! FunObjObj);
+  expectTrue(funTypObj is FunTypObj);
+  expectTrue(funTypObj is! FunObjTyp);
+  expectTrue(funTypObj is FunTypTyp);
+
+  expectTrue(funObjTyp is! FunObjObj);
+  expectTrue(funObjTyp is! FunTypObj);
+  expectTrue(funObjTyp is FunObjTyp);
+  expectTrue(funObjTyp is FunTypTyp);
+
+  expectTrue(funTypTyp is! FunObjObj);
+  expectTrue(funTypTyp is! FunTypObj);
+  expectTrue(funTypTyp is! FunObjTyp);
+  expectTrue(funTypTyp is FunTypTyp);
+}