Mixin tests that check compile time errors

tests/language/mixin_type_parameters_errors_test.dart

Index: tests/language/mixin_type_parameters_errors_test.dart
===================================================================
--- tests/language/mixin_type_parameters_errors_test.dart	(revision 0)
+++ tests/language/mixin_type_parameters_errors_test.dart	(revision 0)
@@ -0,0 +1,22 @@
+// 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 S<T> { }
+class M<U> { }
+
+class A<X> extends S<int> with M<double> { }
+class B<U, V> extends S with M<U, V> { }  /// 01: compile-time error
+class C<A, B> extends S<A, int> with M { }  /// 02: compile-time error
+
+typedef F<X> = S<X> with M<X>;
+typedef G = S<int> with M<double, double>;  /// 05: compile-time error
+
+main() {
+  var a;
+  a = new A();
+  a = new A<int>();
+  a = new A<String, String>();  /// 03: static type warning, runtime error
+  a = new F<int>();
+  a = new F<int, String>();   /// 04: static type warning, runtime error
+}