// 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 local inference errors for the `inout` variance modifier.

// SharedOptions=--enable-experiment=variance

class Covariant<out T> {}
class Contravariant<in T> {}
class Invariant<inout T> {}

class Exactly<inout T> {}

class Upper {}
class Middle extends Upper {}
class Lower extends Middle {}

Exactly<T> inferInvInv<T>(Invariant<T> x, Invariant<T> y) => new Exactly<T>();
Exactly<T> inferInvCov<T>(Invariant<T> x, Covariant<T> y) => new Exactly<T>();
Exactly<T> inferInvContra<T>(Invariant<T> x, Contravariant<T> y) => new Exactly<T>();

main() {
  // Middle <: T <: Middle and int <: T <: int are not valid constraints.
  inferInvInv(Invariant<Middle>(), Invariant<int>());
  //          ^
  // [analyzer] unspecified
  // [cfe] The argument type 'Invariant<Middle>' can't be assigned to the parameter type 'Invariant<Object>'.
  //                               ^
  // [analyzer] unspecified
  // [cfe] The argument type 'Invariant<int>' can't be assigned to the parameter type 'Invariant<Object>'.

  // Middle <: T <: Middle and Upper <: T <: Upper are not valid constraints.
  inferInvInv(Invariant<Middle>(), Invariant<Upper>());
  //          ^
  // [analyzer] unspecified
  // [cfe] The argument type 'Invariant<Middle>' can't be assigned to the parameter type 'Invariant<Upper>'.

  // Middle <: T <: Middle and Lower <: T <: Lower are not valid constraints.
  inferInvInv(Invariant<Middle>(), Invariant<Lower>());
  //                               ^
  // [analyzer] unspecified
  // [cfe] The argument type 'Invariant<Lower>' can't be assigned to the parameter type 'Invariant<Middle>'.

  // Upper <: T
  // Middle <: T <: Middle
  // Upper <: T <: Middle is not a valid constraint.
  inferInvCov(Invariant<Middle>(), Covariant<Upper>());
  //          ^
  // [analyzer] unspecified
  // [cfe] The argument type 'Invariant<Middle>' can't be assigned to the parameter type 'Invariant<Upper>'.

  // T <: Lower
  // Middle <: T <: Lower
  // Middle <: T <: Lower is not a valid constraint
  inferInvContra(Invariant<Middle>(), Contravariant<Lower>());
  //                                  ^
  // [analyzer] unspecified
  // [cfe] The constructor returns type 'Contravariant<Lower>' that isn't of expected type 'Contravariant<Middle>'.
}