*
 * @see RequiresExtension
 */
@Retention(RetentionPolicy.RUNTIME)
@Target({ElementType.METHOD, ElementType.TYPE})
@Inherited
@ExtensionAnnotation(RequiresExtension.class)
public @interface Requires {

    /**
     * The list of preconditions, which will be checked by {@link RequiresExtension}
     */
    Class<? extends TestPrecondition>[] value();

    String reason() default "";

}

func f[P /* ERROR "type parameter requires go1.18 or later" */ any /* ERROR "predeclared any requires go1.18 or later" */](x P) {
	var _ T[ /* ERROR "type instantiation requires go1.18 or later" */ int]
	var _ (T[ /* ERROR "type instantiation requires go1.18 or later" */ int])
	_ = T[ /* ERROR "type instantiation requires go1.18 or later" */ int]{}
	_ = T[ /* ERROR "type instantiation requires go1.18 or later" */ int](struct{}{})
}

        {
          "group": "com.google.guava",
          "module": "failureaccess",
          "version": {
            "requires": "1.0.2"
          }
        },
        {
          "group": "com.google.guava",
          "module": "listenablefuture",
          "version": {
            "requires": "9999.0-empty-to-avoid-conflict-with-guava"
          }
        },
        {
          "group": "com.google.code.findbugs",

     */
    void visitAnnotation(Requires annotation, SpecElementInfo specOfFeature) {
        List<Class> predicateClassNames = annotation.value() as List<Class>

        if (specOfFeature.parent instanceof SpecInfo) {
            predicateClassNames += (specOfFeature.parent as SpecInfo).getAnnotationsByType(Requires)
                .collect { (it as Requires).value() }
                .flatten() as List<Class>
        }

stderr 'rsc.io/needgo122@v0.0.1 requires go >= 1.22'
stderr 'rsc.io/needgo123@v0.0.1 requires go >= 1.23'
stderr 'rsc.io/needall@v0.0.1 requires go >= 1.23'
stderr 'requires go >= 1.23'
! stderr 'requires go >= 1.21' # that's us!
cmp go.mod go.mod.new

# go get go@1.22 should resolve to the latest 1.22
env GOTOOLCHAIN=local
cp go.mod.new go.mod
! go get go@1.22

! stderr switching
stderr 'rsc.io/needgo122@v0.0.1 requires go >= 1.22'
stderr 'rsc.io/needgo123@v0.0.1 requires go >= 1.23'
stderr 'rsc.io/needall@v0.0.1 requires go >= 1.23'
stderr 'requires go >= 1.23'
! stderr 'requires go >= 1.21' # that's us!


# JSON output should be emitted exactly once,
# and non-JSON output should go to stderr instead of stdout.

            dependencies { testImplementation 'junit:junit:4.13' }
        """

        when:
        consumingModuleInfo('exports consumer')
        consumingModuleClass()
        testModuleInfo('requires consumer', 'requires junit')
        testModuleClass('org.junit.Assert.assertEquals("consumer", consumer.MainModule.class.getModule().getName())')

        then:
        succeeds ':test'
    }

    /**
     * Provides or requires a library
     */
    JvmEcosystemAttributesDetails library();

    /**
     * Provides or requires a library with specific elements.
     * See {@link org.gradle.api.attributes.LibraryElements} for possible values.
     */
    JvmEcosystemAttributesDetails library(String elementsType);

    /**
     * Provides or requires a platform
     */

module org.gradle.sample.app {
    exports org.gradle.sample.app;
    opens org.gradle.sample.app.data; // allow Gson to access via reflection

    requires com.google.gson;
    requires org.apache.commons.lang3;
    requires org.apache.commons.cli;
    requires org.apache.commons.beanutils;

// numeric literals
const (
	_ = 1_000 // ERROR "underscore in numeric literal requires go1.13 or later \(-lang was set to go1.12; check go.mod\)|requires go1.13"
	_ = 0b111 // ERROR "binary literal requires go1.13 or later"
	_ = 0o567 // ERROR "0o/0O-style octal literal requires go1.13 or later"
	_ = 0xabc // ok
	_ = 0x0p1 // ERROR "hexadecimal floating-point literal requires go1.13 or later"

	_ = 0b111 // ERROR "binary"
	_ = 0o567 // ERROR "octal"