[GROOVY-11239] VerifyError for explicit this parameter and default argument(s)

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 5.0.0-alpha-3
• Fix Version/s: 5.0.0-alpha-4
• Component/s: Compiler

Language

groovy

• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 28/Nov/23 15:13
• Updated: 22/Dec/23 11:38
• Resolved: 28/Nov/23 15:57

Description

Consider the following:

            @Retention(RUNTIME) @Target(TYPE_USE) @interface TypeAnno0 { String value() }
            @Retention(RUNTIME) @Target(TYPE_USE) @interface TypeAnno1 { String value() }

            class Foo {
                def bar(@TypeAnno0(value="this") Foo this, @TypeAnno1(value="that") that = null) {
                }
            }

Loaded class Foo causes verify error due to generated method call in bar().

Issue Links

• is related to: GROOVY-11184 JSR308: improve support for explicit-this type annotations