Report an error if a const constructor calls a non-const constructor.

tests/language/const_constructor_mixin3_test.dart

Index: tests/language/const_constructor_mixin3_test.dart
===================================================================
--- tests/language/const_constructor_mixin3_test.dart	(revision 0)
+++ tests/language/const_constructor_mixin3_test.dart	(revision 0)
@@ -0,0 +1,18 @@
+// Copyright (c) 2013, 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.
+
+class Mixin {
+}
+
+class A {
+  const A();
+}
+
+class B extends A with Mixin {

[floitsch, 2013/07/19 11:59:45]

Ditto: I would prefer the /// 01: compile-time error on the `with Mixin` line.

[ngeoffray, 2013/07/19 12:04:06]

Done.

+  const B();
+}
+
+main() {
+  var a = const B(); /// 01: compile-time error
+}