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

Side by Side Diff: tests/compiler/dart2js/flatten_test.dart

Issue 2606253002: Move dart_types to elements/resolution_types (Closed)
Patch Set: Created 3 years, 11 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 library flatten_test; 5 library flatten_test;
6 6
7 import 'package:expect/expect.dart'; 7 import 'package:expect/expect.dart';
8 import "package:async_helper/async_helper.dart"; 8 import "package:async_helper/async_helper.dart";
9 import 'type_test_helper.dart'; 9 import 'type_test_helper.dart';
10 import 'package:compiler/src/dart_types.dart'; 10 import 'package:compiler/src/elements/resolution_types.dart';
11 import "package:compiler/src/elements/elements.dart" show Element, ClassElement; 11 import "package:compiler/src/elements/elements.dart" show Element, ClassElement;
12 12
13 void main() { 13 void main() {
14 asyncTest(() => TypeEnvironment.create(r""" 14 asyncTest(() => TypeEnvironment.create(r"""
15 abstract class F<T> implements Future<T> {} 15 abstract class F<T> implements Future<T> {}
16 abstract class G<T> implements Future<G<T>> {} 16 abstract class G<T> implements Future<G<T>> {}
17 abstract class H<T> implements Future<H<H<T>>> {} 17 abstract class H<T> implements Future<H<H<T>>> {}
18 """).then((env) { 18 """).then((env) {
19 void check(DartType T, DartType expectedFlattenedType) { 19 void check(DartType T, DartType expectedFlattenedType) {
20 DartType flattenedType = env.flatten(T); 20 DartType flattenedType = env.flatten(T);
(...skipping 52 matching lines...) Expand 10 before | Expand all | Expand 10 after
73 // flatten(Future<F<int>>) = int 73 // flatten(Future<F<int>>) = int
74 check(instantiate(Future_, [F_int]), int_); 74 check(instantiate(Future_, [F_int]), int_);
75 75
76 // flatten(Future<G<int>>) = int 76 // flatten(Future<G<int>>) = int
77 check(instantiate(Future_, [G_int]), G_int); 77 check(instantiate(Future_, [G_int]), G_int);
78 78
79 // flatten(Future<H<int>>) = int 79 // flatten(Future<H<int>>) = int
80 check(instantiate(Future_, [H_int]), H_H_int); 80 check(instantiate(Future_, [H_int]), H_H_int);
81 })); 81 }));
82 } 82 }
OLDNEW
« no previous file with comments | « tests/compiler/dart2js/analyze_dart2js_helpers_test.dart ('k') | tests/compiler/dart2js/kernel/closed_world_test.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698