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

// @dart = 2.6

// SharedOptions=--enable-experiment=variance

// Tests the emission of explicit variance modifiers.

import 'dart:_runtime'
    show wrapType, unwrapType, getGenericArgVariances, Variance, typeRep;

import 'package:expect/expect.dart';

class A<in T> {}

class B<out T> {}

class C<inout T> {}

class D<T> {}

class E<inout X, out Y, in Z> {}

mixin F<in T> {}

class G<inout T> = Object with F<T>;

List getVariances(Object t) {
  // TODO(nshahan) Update to handle legacy wrapper when we unfork dart:_runtime.
  var type = unwrapType(wrapType(t));
  return getGenericArgVariances(type);
}

main() {
  Expect.listEquals([Variance.contravariant], getVariances(typeRep<A>()));

  Expect.listEquals([Variance.covariant], getVariances(typeRep<B>()));

  Expect.listEquals([Variance.invariant], getVariances(typeRep<C>()));

  // Implicit variance is not emitted into the generated code.
  Expect.isNull(getVariances(typeRep<D>()));

  Expect.listEquals(
      [Variance.invariant, Variance.covariant, Variance.contravariant],
      getVariances(typeRep<E>()));

  Expect.listEquals([Variance.contravariant], getVariances(typeRep<F>()));

  Expect.listEquals([Variance.invariant], getVariances(typeRep<G>()));
}