// Copyright (c) 2016, 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

// Validate the following text from section 12 ("Mixins") of the spec:
//
//     "A mixin application of the form S with M; defines a class C ...
//     ... C declares the same instance members as M ..."
//
// This means that if M is itself a mixin application, then things
// mixed into M are accessible through C.  But if M simply *extends* a
// mixin application (e.g. because M is declared as `class M extends X
// with Y { ... }`) then things mixed into the mixin application that
// M extends are not accessible through C.

class A {
  a() => null;
}

class B {
  b() => null;
}

class C {
  c() => null;
}

class D {
  d() => null;
}

// Note: by a slight abuse of syntax, `class M1 = A with B, C;` effectively
// means `class M1 = (A with B) with C;`, therefore M1 declares c(), but it
// merely inherits a() and b().
class M1 = A with B, C; // declares c()

class M2 extends M1 {
  m2() => null;
}

class M3 extends A with B, C {
  m3() => null;
}

class T1 = D with M1; // declares c()  //# 01: compile-time error
class T2 = D with M2; // declares m2() //# 02: compile-time error
class T3 = D with M3; // declares m3() //# 03: compile-time error

class T4 extends D with M1 {} // extends a class which declares c()  //# 04: compile-time error

class T5 extends D with M2 {} // extends a class which declares m2() //# 05: compile-time error

class T6 extends D with M3 {} // extends a class which declares m3() //# 06: compile-time error

main() { }