// 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 upper and lower bounds computation with respect to variance modifiers.

// SharedOptions=--enable-experiment=variance

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

class Multi<out T, inout U, in V> {}

class Exactly<inout T> {}
Exactly<T> exactly<T>(T x) => new Exactly<T>();

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

main() {
  bool condition = true;

  var contraLowerActual =
      exactly(condition ? Contravariant<Upper>() : Contravariant<Lower>());
  Exactly<Contravariant<Lower>> contraLowerExpected = contraLowerActual;

  var contraMiddleActual =
      exactly(condition ? Contravariant<Upper>() : Contravariant<Middle>());
  Exactly<Contravariant<Middle>> contraMiddleExpected = contraMiddleActual;

  var covMiddleActual =
      exactly(condition ? Covariant<Middle>() : Covariant<Lower>());
  Exactly<Covariant<Middle>> covMiddleExpected = covMiddleActual;

  var covUpperActual =
      exactly(condition ? Covariant<Upper>() : Covariant<Lower>());
  Exactly<Covariant<Upper>> covUpperExpected = covUpperActual;

  var invMiddleActual =
      exactly(condition ? Invariant<Middle>() : Invariant<Middle>());
  Exactly<Invariant<Middle>> invMiddleExpected = invMiddleActual;

  var invObjectActual =
      exactly(condition ? Invariant<Upper>() : Invariant<Middle>());
  Exactly<Object> invObjectExpected = invObjectActual;

  var legacyCovMiddleActual =
      exactly(condition ? LegacyCovariant<Middle>() : LegacyCovariant<Lower>());
  Exactly<LegacyCovariant<Middle>> legacyCovMiddleExpected =
      legacyCovMiddleActual;

  var legacyCovUpperActual =
      exactly(condition ? LegacyCovariant<Upper>() : LegacyCovariant<Lower>());
  Exactly<LegacyCovariant<Upper>> legacyCovUpperExpected = legacyCovUpperActual;

  var multiActual = exactly(condition
      ? Multi<Middle, Middle, Middle>()
      : Multi<Lower, Middle, Lower>());
  Exactly<Multi<Middle, Middle, Lower>> multiExpected = multiActual;

  var multiActual2 = exactly(
      condition ? Multi<Middle, int, Middle>() : Multi<Lower, Middle, Lower>());
  Exactly<Object> multiObjectExpected = multiActual2;

  var multiActual3 = exactly(
      condition ? Multi<int, Middle, Middle>() : Multi<Lower, Middle, Lower>());
  Exactly<Multi<Object, Middle, Lower>> multiObjectExpected2 = multiActual3;
}