Tests that inheritance of deferred classes is disallowed

tests/language/deferred_inheritance_constraints_test.dart

Index: tests/language/deferred_inheritance_constraints_test.dart
diff --git a/tests/language/deferred_inheritance_constraints_test.dart b/tests/language/deferred_inheritance_constraints_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..8fb023c44cf51b1360266d8d1542c22c250b7508
--- /dev/null
+++ b/tests/language/deferred_inheritance_constraints_test.dart
@@ -0,0 +1,34 @@
+// 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 Foo {}
+class Foo2 extends D {}
+ 
+class A extends 
+  lib. /// extends: compile-time error
+  Foo {} 
+class B implements 
+  lib. /// implements: compile-time error
+  Foo {}
+class C1 {}
+class C = C1 with 
+  lib. /// mixin: compile-time error
+  Foo; 
+
+class D { 
+  D() ;
+  factory D.factory() = 
+    lib. /// redirecting_constructor: static type warning, runtime error
+    Foo2;
+}
+
+void main() {
+  new A();
+  new B();
+  new C();
+  new D.factory();
+}