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

Side by Side Diff: pkg/front_end/testcases/inference/generic_methods_nested_generic_instantiation.dart

Issue 2865403007: Get rid of promotedType=none annotations (Closed)
Patch Set: Created 3 years, 7 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) 2017, the Dart project authors. Please see the AUTHORS file 1 // Copyright (c) 2017, 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 /*@testedFeatures=inference*/ 5 /*@testedFeatures=inference*/
6 library test; 6 library test;
7 7
8 import 'dart:math' as math; 8 import 'dart:math' as math;
9 9
10 class Trace { 10 class Trace {
11 List<Frame> frames = /*@typeArgs=Frame*/ []; 11 List<Frame> frames = /*@typeArgs=Frame*/ [];
12 } 12 }
13 13
14 class Frame { 14 class Frame {
15 String location = ''; 15 String location = '';
16 } 16 }
17 17
18 main() { 18 main() {
19 List<Trace> traces = /*@typeArgs=Trace*/ []; 19 List<Trace> traces = /*@typeArgs=Trace*/ [];
20 var /*@type=int*/ longest = /*@promotedType=none*/ traces 20 var /*@type=int*/ longest =
21 . /*@typeArgs=int*/ /*@target=List::map*/ map( 21 traces. /*@typeArgs=int*/ /*@target=List::map*/ map(
22 /*@returnType=int*/ (/*@type=Trace*/ trace) { 22 /*@returnType=int*/ (/*@type=Trace*/ trace) {
23 return /*@promotedType=none*/ trace.frames 23 return trace.frames
24 . /*@typeArgs=int*/ /*@target=List::map*/ map( 24 . /*@typeArgs=int*/ /*@target=List::map*/ map(
25 /*@returnType=int*/ (/*@type=Frame*/ frame) => 25 /*@returnType=int*/ (/*@type=Frame*/ frame) =>
26 /*@promotedType=none*/ frame.location.length) 26 frame.location.length)
27 . /*@typeArgs=int*/ /*@target=Iterable::fold*/ fold(0, math.max); 27 . /*@typeArgs=int*/ /*@target=Iterable::fold*/ fold(0, math.max);
28 }). /*@typeArgs=int*/ /*@target=Iterable::fold*/ fold(0, math.max); 28 }). /*@typeArgs=int*/ /*@target=Iterable::fold*/ fold(0, math.max);
29 } 29 }
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698