// Copyright (c) 2022, 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 Type inference is applied to the resulting constructor
/// invocations, with no context type, where necessary, so omitted type
/// arguments to a generic enum class are filled in by type inference, using the
/// type of arguments, if any, and then the type of the constant variable is the
/// static type of the constant object creation expression.
///
/// @description Check that omitted type arguments to a generic enum class are
/// filled in by type inference, using the type of arguments
/// @author sgrekhov@unipro.ru

// SharedOptions=--enable-experiment=enhanced-enums

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

enum E<T> {
  e1(1),
  e2("1"),
  e3(true);

  final T t;
  const E(this.t);
}

main() {
  Expect.equals(1, E.e1.t);
  Expect.equals("1", E.e2.t);
  Expect.equals(true, E.e3.t);

  Expect.equals("int", E.e1.t.runtimeType.toString());
  Expect.equals("String", E.e2.t.runtimeType.toString());
  Expect.equals("bool", E.e3.t.runtimeType.toString());
}