// Copyright (c) 2019, 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*/
T map<T>(T Function() f1, T Function() f2) {}

id<T>(T t) => t;

Null foo() => null;

main() {
  /*@ typeArgs=Null* */ map(/*@ returnType=Null* */ () {},
      /*@ returnType=<BottomType> */ () => throw "hello");
  /*@ typeArgs=Null* */ map(/*@ returnType=<BottomType> */ () => throw "hello",
      /*@ returnType=Null* */ () {});
  Null Function() f = /*@ returnType=Null* */ () {};
  /*@ typeArgs=Null* */ map(
      foo, /*@ returnType=<BottomType> */ () => throw "hello");
  /*@ typeArgs=Null* */ map(
      /*@ returnType=<BottomType> */ () => throw "hello", foo);
  /*@ typeArgs=Null* */ map(/*@ returnType=Null* */ () {
    return null;
  }, /*@ returnType=<BottomType> */ () => throw "hello");

  /*@ typeArgs=Null* */ map(/*@ returnType=<BottomType> */ () => throw "hello",
      /*@ returnType=Null* */ () {
    return null;
  });
  /*@ typeArgs=() ->* Null* */ id(/*@ returnType=Null* */ () {});
}