// 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.

/// @assertion A mixin declaration syntax separate from class declarations:
/// mixinDeclaration :
///   metadata? 'mixin' identifier typeParameters? ('on' types)?
///     ('implements' types)? '{' mixinMember* '}'
///
/// @description Checks that mixin declaration above is correct. Metadata usage
/// is checked
/// @author ngl@unipro.ru


class I {}
class J {}

class B {}
class C {}

const IM = 1;

class AM {
  const AM();
}
class BM<X> {
  const BM();
  const BM.b(X x);
  const BM.c(int i, X x);
}
enum EM {a, b, c}
const _bc = const BM<double>.c(1, 2.3);
const _bb = const BM<String>.b('abc');
const _ba = const BM<AM>.b(const AM());

@IM @AM() @_bc @EM.a
mixin M1 on B, C implements I, J {}

@BM() @EM.b
mixin M2 on B, C implements I, J {}

@_bb @EM.c
mixin M3 on B, C implements I, J {}

@_ba
mixin M4 on B, C implements I, J {}

main() {
}