ClassMirror.mixin

tests/language/mixin_type_parameters_errors_test.dart

Index: tests/language/mixin_type_parameters_errors_test.dart
diff --git a/tests/language/mixin_type_parameters_errors_test.dart b/tests/language/mixin_type_parameters_errors_test.dart
index be459bdf515cf82bd1ad617d4a2bf18bde027f5d..1cdcf20d5b611169b573270c4891c9cc26a7c2bd 100644
--- a/tests/language/mixin_type_parameters_errors_test.dart
+++ b/tests/language/mixin_type_parameters_errors_test.dart
@@ -6,11 +6,11 @@ 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
+class B<U, V> extends S with M<U, V> { }  /* -- this is fine */

[regis, 2013/08/15 22:51:48]

It should be at least a static warning.

[ahe, 2013/08/15 22:56:58]

Please isolate the problematic part:

class B<U, V> extends S with M<U
, V /// 01: static warning

+class C<A, B> extends S<A, int> with M { }  /* -- this is fine */

[regis, 2013/08/15 22:51:48]

ditto

[ahe, 2013/08/15 22:56:58]

Ditto.

 
 typedef F<X> = S<X> with M<X>;
-typedef G = S<int> with M<double, double>;  /// 05: compile-time error
+typedef G = S<int> with M<double, double>;  /* -- this is fine */

[regis, 2013/08/15 22:51:48]

ditto

[ahe, 2013/08/15 22:56:58]

Ditto.

 
 main() {
   var a;