Properly handle forwarding factory constructors in type inference.

tests/language/forwarding_factory_constructor_default_values_test.dart

Index: tests/language/forwarding_factory_constructor_default_values_test.dart
diff --git a/tests/language/forwarding_factory_constructor_default_values_test.dart b/tests/language/forwarding_factory_constructor_default_values_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..2fb0890db0ba1f3d9c8d5edc42e8d85e73cdfed5
--- /dev/null
+++ b/tests/language/forwarding_factory_constructor_default_values_test.dart
@@ -0,0 +1,31 @@
+// Copyright (c) 2014, 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.
+
+// Regression test for dart2js bug 18257: Properly infer types for forwarding
+// factory constructors with optional parameters with default values.
+
+main() {
+  A a = new A.a1();
+  a.test();
+}
+
+class A {
+  final bool condition;
+
+  A({this.condition: true});
+
+  factory A.a1({condition}) = _A1.boo;
+
+  test() {
+    if(condition != true) {
+      throw "FAILED";
+    } 
+  }
+}
+
+class _A1 extends A {
+  _A1.boo({condition: true}):
+    super(condition: condition);
+}
+