blob: 5d9a04ad9a56f9f68b81e0a4a346ead3fb5ef192 [file] [log] [blame]
// 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.
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() {}