Perform type inference on default values of optional/named parameters.

pkg/front_end/testcases/inference/parameter_defaults_downwards.dart

Index: pkg/front_end/testcases/inference/parameter_defaults_downwards.dart
diff --git a/pkg/front_end/testcases/inference/parameter_defaults_downwards.dart b/pkg/front_end/testcases/inference/parameter_defaults_downwards.dart
new file mode 100644
index 0000000000000000000000000000000000000000..92b91b824e1a79f6ea531e5fc3c4d252317dbf21
--- /dev/null
+++ b/pkg/front_end/testcases/inference/parameter_defaults_downwards.dart
@@ -0,0 +1,19 @@
+// 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 optional_toplevel([List<int> x = /*@typeArgs=int*/ const []]) {}
+
+void named_toplevel({List<int> x: /*@typeArgs=int*/ const []}) {}
+
+main() {
+  void optional_local([List<int> x = /*@typeArgs=int*/ const []]) {}
+  void named_local({List<int> x: /*@typeArgs=int*/ const []}) {}
+  var /*@type=([List<int>]) -> Null*/ optional_closure = /*@returnType=Null*/ (
+      [List<int> x = /*@typeArgs=int*/ const []]) {};
+  var /*@type=({x: List<int>}) -> Null*/ name_closure = /*@returnType=Null*/ (
+      {List<int> x: /*@typeArgs=int*/ const []}) {};
+}