// 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";

m1(Future<int> f) {
  var /*@type=Future<Future<List<int>>>*/ x = f. /*@target=Future.then*/ then<
          Future<List<int>>>(
      /*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/
      /*@returnType=FutureOr<Future<List<int>>>*/ (/*@type=int*/ x) => /*@typeArgs=dynamic*/ []);
  Future<List<int>> y = x;
}

m2(Future<int> f) {
  var /*@type=Future<List<int>>*/ x =
      f. /*@target=Future.then*/ then<List<int>>(
          /*@returnType=List<int>*/ (/*@type=int*/ x) => /*@typeArgs=int*/ []);
  Future<List<int>> y = x;
}

main() {}