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

// Tests method signatures and return types for the `in` variance modifier.

// SharedOptions=--enable-experiment=variance

import "package:expect/expect.dart";

typedef Cov<T> = T Function();
typedef Contra<T> = void Function(T);

class A<in T> {
  void method1(T x) {}
  void method2(Cov<T> x) {}
  Contra<T> method3() {
    return (T val) {
      Expect.equals(2, val);
    };
  }

  void method4(Cov<Cov<T>> x) {}
  Contra<Cov<T>> method5() {
    return (Cov<T> method) {
      Expect.type<Cov<T>>(method);
    };
  }
  Cov<Contra<T>> method6() {
    return () {
      return (T x) {
        Expect.equals(2, x);
      };
    };
  }
  void method7(Contra<Contra<T>> x) {}
}

mixin BMixin<in T> {
  void method1(T x) {}
  void method2(Cov<T> x) {}
  Contra<T> method3() {
    return (T val) {
      Expect.equals(2, val);
    };
  }

  void method4(Cov<Cov<T>> x) {}
  Contra<Cov<T>> method5() {
    return (Cov<T> method) {
      Expect.type<Cov<T>>(method);
    };
  }
  Cov<Contra<T>> method6() {
    return () {
      return (T x) {
        Expect.equals(2, x);
      };
    };
  }
  void method7(Contra<Contra<T>> x) {}
}

class B with BMixin<int> {}

class C<in T> {
  void method1(Contra<A<T>> x) {}
  A<T> method2() {
    return A<T>();
  }
}

void testClass() {
  A<int> a = new A();

  a.method1(2);

  a.method2(() => 2);

  Expect.type<Contra<int>>(a.method3());
  Contra<int> method3Function = a.method3();
  method3Function(2);

  a.method4(() {
    return () => 2;
  });

  Expect.type<Contra<Cov<int>>>(a.method5());
  Contra<Cov<int>> method5Function = a.method5();
  method5Function(() => 2);

  Expect.type<Cov<Contra<int>>>(a.method6());
  Cov<Contra<int>> method6Function = a.method6();
  Expect.type<Contra<int>>(method6Function());
  Contra<int> method6NestedFunction = method6Function();
  method6NestedFunction(2);

  a.method7((Contra<int> x) {});
}

void testMixin() {
  B b = new B();

  b.method1(2);

  b.method2(() => 2);

  Expect.type<Contra<int>>(b.method3());
  Contra<int> method3Return = b.method3();
  method3Return(2);

  b.method4(() {
    return () => 2;
  });

  Expect.type<Contra<Cov<int>>>(b.method5());
  Contra<Cov<int>> method5Return = b.method5();
  method5Return(() => 2);

  Expect.type<Cov<Contra<int>>>(b.method6());
  Cov<Contra<int>> method6Function = b.method6();
  Expect.type<Contra<int>>(method6Function());
  Contra<int> method6NestedFunction = method6Function();
  method6NestedFunction(2);

  b.method7((Contra<int> x) {});
}

void testClassInMethods() {
  C<int> c = new C();

  c.method1((A<int> x) {});

  Expect.type<A<int>>(c.method2());
}

main() {
  testClass();
  testMixin();
  testClassInMethods();
}