[ https://issues.apache.org/jira/browse/GROOVY-9155?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Eric Milles updated GROOVY-9155: -------------------------------- Labels: annotations (was: ) > Annotation attributes not being validated for type annotations > -------------------------------------------------------------- > > Key: GROOVY-9155 > URL: https://issues.apache.org/jira/browse/GROOVY-9155 > Project: Groovy > Issue Type: Bug > Reporter: Paul King > Priority: Major > Labels: annotations > > {code} > //@Grab('net.jqwik:jqwik:1.1.4') > import groovy.transform.CompileStatic > import net.jqwik.api.ForAll > import net.jqwik.api.Property > import net.jqwik.api.constraints.IntRange; > @CompileStatic > class Jsr308 { > @Property > boolean 'size zero or positive'( > @ForAll() List<@IntRange(foo="") Integer> items // (1) > // @ForAll(foo="") List<@IntRange() Integer> items // (2) > ) { > items.size() >= 0 > } > } > {code} > Invalid annotation attributes stop (2) from compiling but (1) successfully > compiles. -- This message was sent by Atlassian Jira (v8.20.10#820010)