Index: pkg/kernel/testcases/reify/reuse_type_variables_test.dart |
diff --git a/pkg/kernel/testcases/reify/reuse_type_variables_test.dart b/pkg/kernel/testcases/reify/reuse_type_variables_test.dart |
new file mode 100644 |
index 0000000000000000000000000000000000000000..1e6cdc23f79f42d444c3d15d5113e01455eb71d1 |
--- /dev/null |
+++ b/pkg/kernel/testcases/reify/reuse_type_variables_test.dart |
@@ -0,0 +1,42 @@ |
+// Copyright (c) 2016, 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. |
+ |
+library reuse_type_variables_test; |
+ |
+import 'test_base.dart'; |
+ |
+class X {} |
+ |
+class Y {} |
+ |
+class Z {} |
+ |
+class C<T, U, V> { |
+ foo() => new D<T, U, V>(); |
+ bar() => new E<T, U>(); |
+ hest() => new D<T, V, U>(); |
+} |
+ |
+class D<T, U, V> { |
+ baz() => new C<T, U, V>(); |
+} |
+ |
+class E<T, U> { |
+ qux() => new C<T, U, U>(); |
+} |
+ |
+main() { |
+ var c = new C<X, Y, Z>(); |
+ var d = c.foo(); |
+ expectTrue(d is D<X, Y, Z>); |
+ d = c.hest(); |
+ expectTrue(d is! D<X, Y, Z>); |
+ expectTrue(d is D<X, Z, Y>); |
+ c = d.baz(); |
+ expectTrue(c is C<X, Z, Y>); |
+ var e = c.bar(); |
+ expectTrue(e is E<X, Z>); |
+ c = e.qux(); |
+ expectTrue(c is C<X, Z, Z>); |
+} |