// Copyright (c) 2023, 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.19

import "package:expect/expect.dart";

class M<T> {
  t() {
    return T;
  }
}

class A<U> = Object with M<List<U>>;

class B0 = Object with A<Set<bool>>;

class B1 = Object with A<Set<int>>;

class C0 extends B0 {}

class C1 extends B1 {}

class A2<K, V> = Object with M<Map<K, V>>;

class B2<V> = Object with A2<Set<V>, List<V>>;

class B3<K, V> = Object with A2<Set<K>, List<V>>;

class C2<T> extends B2<T> {}

class C3<T> extends B3<T, int> {}

class N {
  q() {
    return 42;
  }
}

class O<U> = Object with N;

class P<K, V> = Object with O<V>;

class Q<K, V> extends P<K, V> {}

main() {
  Expect.equals(List<Set<bool>>, new C0().t());
  Expect.equals(List<Set<int>>, new C1().t());
  Expect.equals(Map<Set<bool>, List<bool>>, new C2<bool>().t());
  Expect.equals(Map<Set<bool>, List<int>>, new C3<bool>().t());
  Expect.equals(42, new Q<bool, int>().q());
}