Generated front_end/testcases/inference test files from Analyzer tests.

pkg/front_end/testcases/inference/generic_methods_downwards_inference_fold.dart

Index: pkg/front_end/testcases/inference/generic_methods_downwards_inference_fold.dart
diff --git a/pkg/front_end/testcases/inference/generic_methods_downwards_inference_fold.dart b/pkg/front_end/testcases/inference/generic_methods_downwards_inference_fold.dart
new file mode 100644
index 0000000000000000000000000000000000000000..5c2302a5d48edd65c124f4e91508addcdd1a5964
--- /dev/null
+++ b/pkg/front_end/testcases/inference/generic_methods_downwards_inference_fold.dart
@@ -0,0 +1,28 @@
+// 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.
+
+/*@testedFeatures=inference*/
+library test;
+
+void main() {
+  List<int> o;
+  int y = /*@promotedType=none*/ o
+      .fold(0, /*@returnType=int*/ (/*@type=int*/ x, /*@type=int*/ y) => x + y);
+  var /*@type=dynamic*/ z = /*@promotedType=none*/ o.fold(
+      0,
+      /*@returnType=dynamic*/ (/*@type=dynamic*/ x,
+          /*@type=int*/ y) => /*info:DYNAMIC_INVOKE*/ x + y);
+  y = /*info:DYNAMIC_CAST*/ /*@promotedType=none*/ z;
+}
+
+void functionExpressionInvocation() {
+  List<int> o;
+  int y = (/*@promotedType=none*/ o.fold)(
+      0, /*@returnType=int*/ (/*@type=int*/ x, /*@type=int*/ y) => x + y);
+  var /*@type=dynamic*/ z = (/*@promotedType=none*/ o.fold)(
+      0,
+      /*@returnType=dynamic*/ (/*@type=dynamic*/ x,
+          /*@type=int*/ y) => /*info:DYNAMIC_INVOKE*/ x + y);
+  y = /*info:DYNAMIC_CAST*/ /*@promotedType=none*/ z;
+}