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

test() {
  /*@returnType=int*/ f0() => 42;
  /*@returnType=Future<int>*/ f1() async => 42;

  /*@returnType=int*/ f2() {
    return 42;
  }

  /*@returnType=Future<int>*/ f3() async {
    return 42;
  }

  /*@returnType=Iterable<int>*/ f4() sync* {
    yield 42;
  }

  /*@returnType=Stream<int>*/ f5() async* {
    yield 42;
  }

  num f6() => 42;

  /*@returnType=dynamic*/ f7() => f7();
  /*@returnType=Stream<int>*/ f8() => f5();

  var /*@type=() -> int*/ v0 = f0;
  var /*@type=() -> Future<int>*/ v1 = f1;
  var /*@type=() -> int*/ v2 = f2;
  var /*@type=() -> Future<int>*/ v3 = f3;
  var /*@type=() -> Iterable<int>*/ v4 = f4;
  var /*@type=() -> Stream<int>*/ v5 = f5;
  var /*@type=() -> num*/ v6 = f6;
  var /*@type=() -> dynamic*/ v7 = f7;
  var /*@type=() -> Stream<int>*/ v8 = f8;
}

main() {}