[GROOVY-9155] JSR308 annotation attributes not being validated

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 5.0.0-alpha-3
• Labels: annotations
• Assignee: Eric Milles
• Reporter: Paul King
• Created: 01/Jun/19 00:30
• Updated: 22/Dec/23 11:38
• Resolved: 15/Sep/23 19:59

Description

//@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
    }
}

Invalid annotation attributes stop (2) from compiling but (1) successfully compiles.

Issue Links

• relates to: GROOVY-11178 JSR308 constructor call annotations not resolved or available
• relates to: GROOVY-11179 JSR308 inline constants for annotations in class header