// Copyright (c) 2018, 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.9

/// @assertion The mixin introduced by a mixin declaration contains all the
/// non-static members declared by the mixin, just as the mixin derived from a
/// class declaration currently does.
///
/// @description Checks that a mixin declaration doesn't contain the static
/// members declared by the mixin
/// @author ngl@unipro.ru
/// @author sgrekhov@unipro.ru

class I {
  static int i1 = 1;
}

abstract class J {
  static int j1 = 2;
}


class A {
  static int b1 = 3;
}

abstract class B {
  static int b1 = 3;
}

class C implements A, B {
  static int c1 = 4;
}

mixin M on A, B implements I, J {
  static int m1 = 5;
}

class MA extends C with M {
  test() {
    i1 == 1;
//  ^^
// [analyzer] unspecified
// [cfe] unspecified
    j1 == 2;
//  ^^
// [analyzer] unspecified
// [cfe] unspecified
    b1 == 3;
//  ^^
// [analyzer] unspecified
// [cfe] unspecified
    c1 == 4;
//  ^^
// [analyzer] unspecified
// [cfe] unspecified
    m1 == 5;
//  ^^
// [analyzer] unspecified
// [cfe] unspecified
  }
}

main() {
  MA ma = new MA();
  MA.i1 == 1;
//   ^^
// [analyzer] unspecified
// [cfe] unspecified
  MA.j1 == 2;
//   ^^
// [analyzer] unspecified
// [cfe] unspecified
  MA.b1 == 3;
//   ^^
// [analyzer] unspecified
// [cfe] unspecified
  MA.c1 == 4;
//   ^^
// [analyzer] unspecified
// [cfe] unspecified
  MA.m1 == 5;
//   ^^
// [analyzer] unspecified
// [cfe] unspecified

  ma.test();
}