/*
 * 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
 *  Metadata can appear before a library, part header, class, typedef, type
 *  parameter, constructor, factory, function, parameter, or variable
 *  declaration, and before an import, export, or part directive.
 *
 * @description Check that metadata can appear before a library, class, typedef,
 * type parameter, constructor, factory, function, parameter, or variable
 * declaration. Test generic metadata
 * @author sgekhov@unipro.ru
 */
// SharedOptions=--enable-experiment=generic-metadata

class A<T> {
    const A(T t);
}

void foo() {}

// class
@A<int>(42)
class C1 {}

// typedef
@A<int>(42)
typedef void Foo();

// type parameter
class C2<@A<int>(42) T> {}
void bar<@A<int>(42) T>() {}

// constructor
class C3 {
  @A<int>(42) C3() {}
}

// factory
class C4 {
  @A<int>(42) factory C4() => new C4();
}

// function
@A<int>(42) int test1() => 42;

// parameter
int test2(@A<int>(42) int x) => x;

// variable declaration
@A<int>(42) int x = 42;

main() {
  new C1();
  Foo f = foo;
  bar<int>();
  new C3();
  test1();
  test2(42);
}