Fixed tests so they do indeed confirm that values on optional named parameters are not allowed. Add…

tests/language/named_parameters_aggregated_test.dart

+// Copyright (c) 2011, 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.
+// Dart test program for testing named parameters.
+
+
+// Expect compile-time error as no default values are allowed  
+// in closure type definitions.
+typedef void Callback([String msg
+ = ""  /// 01: compile-time error
+ ]);
+
+class NamedParametersAggregatedTests {
+
+  static int F31(int a, [int b = 20, int c = 30]) {
+    return 100*(100*a + b) + c;
+  }
+
+  static int f_missing_comma(a 
+    [b = 42] /// 02: compile-time error
+    ) => a;  
+
+  var _handler = null;
+
+  // Expect compile-time error as no default values
+  // are allowed in closure type.
+  void InstallCallback(void cb([String msg 
+    = null /// 03: compile-time error
+    ])) {
+    _handler = cb;
+  }
+
+  static testMain() {
+    // Expect compile-time error due to missing comma in
+    // function definition.
+    f_missing_comma(10
+      , 25  /// 02: continued
+    );
+
+    // Expect compile-time erorr due to duplicate named argument.
+    F31(10, b:25
+      , b:35   /// 04: compile-time error
+    );
+
+    // Expect compile-time error due to missing positional argument.
+    F31(b:25, c:35);  /// 05: compile-time error
+
+    Callback cb1 = null;

[ahe, 2012/08/23 11:39:25]

I discussed this with Kasper, and we don't want to guarantee resolution of
Callback though this mechanism.

Kasper had a better alternative:

class TypeTester<T> {}

...
new TypeTester<Callback>();

If dart2js cannot handle this, just mark it as failing in
language_dart2js.status.

+
+    (new NamedParametersAggregatedTests()).InstallCallback(null);
+  }
+
+}
+
+
+main() {
+  NamedParametersAggregatedTests.testMain();

[ahe, 2012/08/23 11:39:25]

This is a left-over from when we didn't have top-level declarations. Now that we
do, I would inline testMain in main.

+}