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

pkg/kernel/testcases/reify/generic_methods_dynamic_dependent_type_error_test.dart

Index: pkg/kernel/testcases/reify/generic_methods_dynamic_dependent_type_error_test.dart
diff --git a/pkg/kernel/testcases/reify/generic_methods_dynamic_dependent_type_error_test.dart b/pkg/kernel/testcases/reify/generic_methods_dynamic_dependent_type_error_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..92ec7bd9242b25134fb8b51af9d525eb323c0b7a
--- /dev/null
+++ b/pkg/kernel/testcases/reify/generic_methods_dynamic_dependent_type_error_test.dart
@@ -0,0 +1,26 @@
+// 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 if the type of a parameter of a generic method depends on type
+// parameter, the type of the passed argument is checked at runtime if the
+// receiver is dynamic, and an exception is thrown.
+
+library generic_methods_dynamic_dependent_type_error_test;
+
+import "test_base.dart";
+
+class A {}
+
+class B {}
+
+class C {
+  List<T> bar<T>(Iterable<T> t) => <T>[t.first];
+}
+
+main() {
+  C c = new C();
+  dynamic obj = c;
+
+  expectThrows(() => obj.bar<A>(<B>[new B()]), (e) => e is TypeError);
+}