// Copyright (c) 2022, 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.

// Tests horizontal inference for a variety of types of invocations.

// SharedOptions=--enable-experiment=inference-update-1

import '../static_type_helper.dart';

testFunctionExpressionInvocation() {
  (<T>(T t, void Function(T) f) => t)(0, (x) {
    x.expectStaticType<Exactly<int>>();
  }).expectStaticType<Exactly<int>>();
}

testInstanceCreation() {
  C(0, (x) {
    x.expectStaticType<Exactly<int>>();
  }).expectStaticType<Exactly<C<int>>>();
}

testInstanceMethodInvocation(B b) {
  b.instanceMethod(0, (x) {
    x.expectStaticType<Exactly<int>>();
  }).expectStaticType<Exactly<int>>();
}

testStaticMethodInvocation() {
  B.staticMethod(0, (x) {
    x.expectStaticType<Exactly<int>>();
  }).expectStaticType<Exactly<int>>();
}

testTopLevelFunctionInvocation() {
  topLevelFunction(0, (x) {
    x.expectStaticType<Exactly<int>>();
  }).expectStaticType<Exactly<int>>();
}

testLocalFunctionInvocation() {
  T localFunction<T>(T t, void Function(T) f) => throw '';
  localFunction(0, (x) {
    x.expectStaticType<Exactly<int>>();
  }).expectStaticType<Exactly<int>>();
}

abstract class B {
  T instanceMethod<T>(T t, void Function(T) f);
  static T staticMethod<T>(T t, void Function(T) f) => throw '';
}

T topLevelFunction<T>(T t, void Function(T) f) => throw '';

class C<T> {
  C(T t, void Function(T) f);
}

main() {}