| // Copyright (c) 2017, the Dart project authors. Please see the AUTHORS file |
| // for details. All rights reserved. Use of this source code is governed by a |
| // BSD-style license that can be found in the LICENSE file. |
| |
| /*@testedFeatures=inference*/ |
| library test; |
| |
| import 'dart:async'; |
| |
| test() { |
| Future<int> f; |
| Future<List<int>> b = /*info:ASSIGNMENT_CAST should be pass*/ f |
| . /*@typeArgs=List<dynamic>*/ /*@target=Future::then*/ then( |
| /*@returnType=List<dynamic>*/ (/*@type=int*/ x) => /*@typeArgs=dynamic*/ []) |
| . /*@target=Future::whenComplete*/ whenComplete( |
| /*@returnType=Null*/ () {}); |
| b = f. /*@typeArgs=List<int>*/ /*@target=Future::then*/ then( |
| /*@returnType=List<int>*/ (/*@type=int*/ x) => /*@typeArgs=int*/ []); |
| } |
| |
| main() {} |