// 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()
class T2 = D with M2; // declares m2()
class T3 = D with M3; // declares m3()
class T4 extends D with M1 {} // extends a class which declares c()
class T5 extends D with M2 {} // extends a class which declares m2()
class T6 extends D with M3 {} // extends a class which declares m3()

main() {
  /// none: static type warning, ok
  new T1().a();  /// 01: static type warning, runtime error
  new T1().b();  /// 02: static type warning, runtime error
  new T1().c();  /// 03: static type warning, ok
  new T2().a();  /// 04: static type warning, runtime error
  new T2().b();  /// 05: static type warning, runtime error
  new T2().c();  /// 06: static type warning, runtime error
  new T2().m2(); /// 07: static type warning, ok
  new T3().a();  /// 08: static type warning, runtime error
  new T3().b();  /// 09: static type warning, runtime error
  new T3().c();  /// 10: static type warning, runtime error
  new T3().m3(); /// 11: static type warning, ok
  new T4().a();  /// 12: static type warning, runtime error
  new T4().b();  /// 13: static type warning, runtime error
  new T4().c();  /// 14: static type warning, ok
  new T5().a();  /// 15: static type warning, runtime error
  new T5().b();  /// 16: static type warning, runtime error
  new T5().c();  /// 17: static type warning, runtime error
  new T5().m2(); /// 18: static type warning, ok
  new T6().a();  /// 19: static type warning, runtime error
  new T6().b();  /// 20: static type warning, runtime error
  new T6().c();  /// 21: static type warning, runtime error
  new T6().m3(); /// 22: static type warning, ok
}