[GROOVY-10845] Add type checking for enum constant constructor call

• Type: Improvement
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Fix Version/s: 5.0.0-alpha-1
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 16/Nov/22 23:50
• Updated: 23/Aug/23 09:11
• Resolved: 17/Nov/22 18:31

Description

Consider the following:

@groovy.transform.TypeChecked
enum E {
  FOO; // no error for missing argument
  E(String s) {
  }
}

Enum constant field FOO is initialized by static method call $INIT("FOO",0) which accepts Object[] as its argument(s). Thus no error is produced for the example but it fails at runtime.