OLD | NEW |
| (Empty) |
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 | |
3 // BSD-style license that can be found in the LICENSE file. | |
4 | |
5 /*@testedFeatures=inference*/ | |
6 library test; | |
7 | |
8 import 'dart:async'; | |
9 | |
10 class MyFuture<T> implements Future<T> { | |
11 MyFuture() {} | |
12 MyFuture.value(T x) {} | |
13 dynamic noSuchMethod(invocation); | |
14 MyFuture<S> then<S>(dynamic f(T x), {Function onError}) => null; | |
15 } | |
16 | |
17 void main() { | |
18 MyFuture f; | |
19 MyFuture<int> t1 = /*@promotedType=none*/ f.then( | |
20 /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async => | |
21 await new Future<int>.value(3)); | |
22 MyFuture<int> t2 = /*@promotedType=none*/ f | |
23 .then(/*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async { | |
24 return await new Future<int>.value(3); | |
25 }); | |
26 MyFuture<int> t3 = /*@promotedType=none*/ f | |
27 .then(/*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async => 3); | |
28 MyFuture<int> t4 = /*@promotedType=none*/ f | |
29 .then(/*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async { | |
30 return 3; | |
31 }); | |
32 MyFuture<int> t5 = /*@promotedType=none*/ f.then( | |
33 /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) => | |
34 new Future<int>.value(3)); | |
35 MyFuture<int> t6 = /*@promotedType=none*/ f | |
36 .then(/*@returnType=Future<int>*/ (/*@type=dynamic*/ _) { | |
37 return new Future<int>.value(3); | |
38 }); | |
39 MyFuture<int> t7 = /*@promotedType=none*/ f.then( | |
40 /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async => | |
41 new Future<int>.value(3)); | |
42 MyFuture<int> t8 = /*@promotedType=none*/ f | |
43 .then(/*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async { | |
44 return new Future<int>.value(3); | |
45 }); | |
46 } | |
OLD | NEW |