// Copyright (c) 2015, 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.
// SharedOptions=--supermixin

import "package:expect/expect.dart";

bool inCheckedMode() {
  try {
    var i = 42;
    String s = i;
  } on TypeError catch (e) {
    return true;
  }
  return false;
}

class MS<U, V
    extends U /// 01: static type warning
    > { }

class M<U
    extends V /// 01: continued
    , V> extends MS<V, U> { }

class NS<U
    extends V /// 01: continued
    , V> { }

class N<U, V
    extends U /// 01: continued
    > extends NS<V, U> { }

class S<T> { }

class MNA<U, V, W> extends S<List<U>>
    with M<List<V>, List<U>>, N<List<W>, List<W>> { }

class MNA2<U, V, W> = S<List<U>>
    with M<List<W>, List<W>>, N<List<U>, List<V>>;

class MNA3<U, V, W> extends S<List<U>>
    with MNA<U, V, W>, MNA2<List<U>, List<V>, List<W>> { }

class MNA4<U, V, W> = S<List<U>>
    with MNA<U, V, W>, MNA2<List<U>, List<V>, List<W>>;

main() {
  new MNA<num, int, bool>();
  new MNA2<num, int, bool>();
  new MNA3<num, int, bool>();
  new MNA4<num, int, bool>();
  bool shouldThrow = false
      || inCheckedMode() /// 01: continued
      ;
  if (shouldThrow) {
    // Type parameter U of M must extend type parameter V, but
    // type argument List<num> is not a subtype of List<int>.
    Expect.throws(() => new MNA<int, num, bool>(), (e) => e is TypeError);
    // Type parameter V of N must extend type parameter U, but
    // type argument List<num> is not a subtype of List<int>.
    Expect.throws(() => new MNA2<int, num, bool>(), (e) => e is TypeError);
    // Type parameter V of N must extend type parameter U, but
    // type argument List<List<num>> is not a subtype of List<List<int>>.
    Expect.throws(() => new MNA3<int, num, bool>(), (e) => e is TypeError);
    // Type parameter V of N must extend type parameter U, but
    // type argument List<List<num>> is not a subtype of List<List<int>>.
    Expect.throws(() => new MNA4<int, num, bool>(), (e) => e is TypeError);
  } else {
    new MNA<int, num, bool>();
    new MNA2<int, num, bool>();
    new MNA3<int, num, bool>();
    new MNA4<int, num, bool>();
  }
}