| OLD | NEW |
| (Empty) |
| 1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file | |
| 2 // for details. All rights reserved. Use of this source code is governed by a | |
| 3 // BSD-style license that can be found in the LICENSE file. | |
| 4 // | |
| 5 // VMOptions=--generic-method-syntax --no-reify-generic-functions | |
| 6 | |
| 7 /// Dart test on the usage of method type arguments in object creation. With | |
| 8 /// '--generic-method-syntax', the type argument is available at runtime, | |
| 9 /// but erased to `dynamic`. | |
| 10 | |
| 11 library generic_methods_new_test; | |
| 12 | |
| 13 import "package:expect/expect.dart"; | |
| 14 | |
| 15 class C<E> { | |
| 16 E e; | |
| 17 C(this.e); | |
| 18 } | |
| 19 | |
| 20 C<T> f1<T>(T t) => new C<T>(t); | |
| 21 | |
| 22 List<T> f2<T>(T t) => <T>[t]; | |
| 23 | |
| 24 Map<T, String> f3<T>(T t) => <T, String>{t: 'hi'}; | |
| 25 | |
| 26 main() { | |
| 27 C c = f1<int>(42); | |
| 28 List i = f2<String>("Hello!"); | |
| 29 Expect.isTrue(c is C<int> && c is C<String>); // C<dynamic>. | |
| 30 Expect.isTrue(i is List<String> && i is List<int>); // List<dynamic>. | |
| 31 Expect.equals(c.e, 42); | |
| 32 Expect.equals(i[0], "Hello!"); | |
| 33 | |
| 34 Map m1 = f3<int>(1); | |
| 35 Expect.isTrue(m1 is Map<int, String> && m1 is Map<String, String>); | |
| 36 Expect.isFalse(m1 is Map<int, int>); | |
| 37 Expect.equals('hi', m1[1]); | |
| 38 } | |
| OLD | NEW |