// Copyright (c) 2021, 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 We propose the following to also be allowed:
///
/// enum Name<T> with Mixin1, Mixin2 implements Interface1, Interface2 {
///   id1<int>(args1), id2<String>(args2), id3<bool>(args3);
///   memberDeclaration*
///   const Name(params) : initList;
/// }
/// where memberDeclaration* is any sequence of static and instance member
/// declarations and/or an unnamed generative const constructor declaration.
///
/// @description Check that enum declaration may contain 'call' method
/// @author sgrekhov@unipro.ru

import "../../Utils/expect.dart";

enum E1 {
  e1,
  e2,
  e3
}

extension on E1 {
  int call(int x) => x;
}

enum E2 {
  e1(),
  e2(),
  e3()
}

extension on E2 {
  int call(int x) => x;
}

enum E3 {
  e1(1),
  e2(2),
  e3(3);

  const E3(int i);
}

extension on E3 {
  int call(int x) => x;
}

main() {
  Expect.equals(42, E1.e1(42));
  Expect.equals(42, E2.e2(42));
  Expect.equals(42, E3.e1(42));
}
