Tests that inheritance of deferred classes is disallowed

tests/language/deferred_inheritance_constraints_test.dart

+// 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.
+
+import "package:expect/expect.dart";
+import "deferred_inheritance_constraints_lib.dart" deferred as lib;
+
+class C extends lib.E {} /// extends: compile-time error

[floitsch, 2014/07/04 11:28:39]

Not necessary this time, but normally I prefer '///' that are more localized, so
that we know that there aren't any stupid mistakes in the code.
If you had mistyped "class" with "classs" you would not know it with this test.

Example:

class E {}

class C extends
lib.  /// extends: compile-time error.
E {}


Or:
import "deferred_inheritance_constraints_lib.dart"
deferred /// 00: compile-time error
as lib;

and then split the tests into separate files.

[sigurdm, 2014/07/07 08:12:21]

Done.

+class D implements lib.E {} /// implements: compile-time error
+class B {}
+class E = B with lib.E; /// mixin: compile-time error
+class F { /// redirecting_constructor: static type warning, runtime error
+  factory F() = lib.E; /// redirecting_constructor: continued
+}  /// redirecting_constructor: continued
+
+void main() {
+  new C(); /// extends: continued
+  new D(); /// implements: continued
+  new E(); /// mixin: continued
+  new F(); /// redirecting_constructor: continued
+}