Dartc was not raising an error if an interface declared constructors without a default clause

tests/language/src/DefaultFactory1NegativeTest.dart

Index: tests/language/src/DefaultFactory1NegativeTest.dart
diff --git a/tests/language/src/DefaultFactory1NegativeTest.dart b/tests/language/src/DefaultFactory1NegativeTest.dart
new file mode 100644
index 0000000000000000000000000000000000000000..cc772f2fc53adbddab56ff7d8bb832a7e9510372
--- /dev/null
+++ b/tests/language/src/DefaultFactory1NegativeTest.dart
@@ -0,0 +1,18 @@
+// 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.
+// VMOptions=--enable_type_checks
+// An interface with a constructor declared must have a default clause
+
+interface IA { 
+  IA(); 
+} // Compile time error here

[scheglov, 2011/12/21 18:33:08]

Here or on the line with IA() constructor declaration?

[zundel, 2011/12/21 19:10:42]

Done.

+
+main() {
+  try {
+    IA value = new IA();
+  } catch(Exception e) {
+    print ("Got exception" + e);
+    // compile-time error should not be catchable
+  }
+}