// @dart = 2.6
import "package:expect/expect.dart";

class C<T> {
  C({a: 0, b: T}) : trace = "a: $a, b: $b";
  String trace;
}

class M {}

class D = C<String> with M;

class E extends D {}

class F extends C<int> with M {}

main() {}