Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(57)

Side by Side Diff: tests/language/least_upper_bound_expansive_test.dart

Issue 2765693002: Update all tests (Closed)
Patch Set: Created 3 years, 9 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
OLDNEW
1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file
2 // for details. All rights reserved. Use of this source code is governed by a 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. 3 // BSD-style license that can be found in the LICENSE file.
4 4
5 // Test least upper bound through type checking of conditionals. 5 // Test least upper bound through type checking of conditionals.
6 6
7 class N<T> { 7 class N<T> {
8 T get n => null; 8 T get n => null;
9 } 9 }
10 10
(...skipping 22 matching lines...) Expand all
33 */ 33 */
34 void testC1(bool z, C1<int> a, N<C1<String>> b) { 34 void testC1(bool z, C1<int> a, N<C1<String>> b) {
35 if (z) { 35 if (z) {
36 // The least upper bound of C1<int> and N<C1<String>> is Object since the 36 // The least upper bound of C1<int> and N<C1<String>> is Object since the
37 // supertypes are 37 // supertypes are
38 // {C1<int>, N<N<C1<int>>>, Object} for C1<int> and 38 // {C1<int>, N<N<C1<int>>>, Object} for C1<int> and
39 // {N<C1<String>>, Object} for N<C1<String>> and 39 // {N<C1<String>>, Object} for N<C1<String>> and
40 // Object is the most specific type in the intersection of the supertypes. 40 // Object is the most specific type in the intersection of the supertypes.
41 41
42 // Is least upper bound dynamic? 42 // Is least upper bound dynamic?
43 (z ? a : b).z; /// 01: static type warning 43 (z ? a : b).z; //# 01: static type warning
44 // Is least upper bound N<...> ? 44 // Is least upper bound N<...> ?
45 (z ? a : b).n; /// 02: static type warning 45 (z ? a : b).n; //# 02: static type warning
46 // Is least upper bound C1<...> ? 46 // Is least upper bound C1<...> ?
47 (z ? a : b).c1; /// 03: static type warning 47 (z ? a : b).c1; //# 03: static type warning
48 // Is least upper bound N<dynamic> ? 48 // Is least upper bound N<dynamic> ?
49 (z ? a : b).n.z; /// 04: static type warning 49 (z ? a : b).n.z; //# 04: static type warning
50 // Is least upper bound N<N<...>> ? 50 // Is least upper bound N<N<...>> ?
51 (z ? a : b).n.n; /// 05: static type warning 51 (z ? a : b).n.n; //# 05: static type warning
52 // Is least upper bound N<C1<...>> ? 52 // Is least upper bound N<C1<...>> ?
53 (z ? a : b).n.c1; /// 06: static type warning 53 (z ? a : b).n.c1; //# 06: static type warning
54 } 54 }
55 } 55 }
56 56
57 /** 57 /**
58 * Test that we don't try to find the least upper bound by applying the 58 * Test that we don't try to find the least upper bound by applying the
59 * algorithm for finding the most specific common declaration recursively on 59 * algorithm for finding the most specific common declaration recursively on
60 * type arguments. 60 * type arguments.
61 * 61 *
62 * For C1<int> and N<C1<String>> this would result in this infinite and 62 * For C1<int> and N<C1<String>> this would result in this infinite and
63 * expanding chain of computations: 63 * expanding chain of computations:
(...skipping 10 matching lines...) Expand all
74 74
75 void testC2(bool z, C2<int> a, N<C2<String>> b) { 75 void testC2(bool z, C2<int> a, N<C2<String>> b) {
76 if (z) { 76 if (z) {
77 // The least upper bound of C2<int> and N<C2<String>> is Object since the 77 // The least upper bound of C2<int> and N<C2<String>> is Object since the
78 // supertypes are 78 // supertypes are
79 // {C2<int>, N<N<C2<N<C2<int>>>>>, Object} for C1<int> and 79 // {C2<int>, N<N<C2<N<C2<int>>>>>, Object} for C1<int> and
80 // {N<C2<String>>, Object} for N<C1<String>> and 80 // {N<C2<String>>, Object} for N<C1<String>> and
81 // Object is the most specific type in the intersection of the supertypes. 81 // Object is the most specific type in the intersection of the supertypes.
82 82
83 // Is least upper bound dynamic? 83 // Is least upper bound dynamic?
84 (z ? a : b).z; /// 07: static type warning 84 (z ? a : b).z; //# 07: static type warning
85 // Is least upper bound N<...> ? 85 // Is least upper bound N<...> ?
86 (z ? a : b).n; /// 08: static type warning 86 (z ? a : b).n; //# 08: static type warning
87 // Is least upper bound C2<...> ? 87 // Is least upper bound C2<...> ?
88 (z ? a : b).c2; /// 09: static type warning 88 (z ? a : b).c2; //# 09: static type warning
89 // Is least upper bound N<dynamic> ? 89 // Is least upper bound N<dynamic> ?
90 (z ? a : b).n.z; /// 10: static type warning 90 (z ? a : b).n.z; //# 10: static type warning
91 // Is least upper bound N<N<...>> ? 91 // Is least upper bound N<N<...>> ?
92 (z ? a : b).n.n; /// 11: static type warning 92 (z ? a : b).n.n; //# 11: static type warning
93 // Is least upper bound N<C2<...>> ? 93 // Is least upper bound N<C2<...>> ?
94 (z ? a : b).n.c2; /// 12: static type warning 94 (z ? a : b).n.c2; //# 12: static type warning
95 } 95 }
96 } 96 }
97 97
98 void main() { 98 void main() {
99 testC1(false, null, null); 99 testC1(false, null, null);
100 testC2(false, null, null); 100 testC2(false, null, null);
101 } 101 }
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698