[GROOVY-11122] SC: map-style constructor call for non-static inner class within closure

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 4.0.14, 3.0.19
• Component/s: Static compilation
• Labels: VerifyError

Language

groovy

• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 09/Jul/23 15:08
• Updated: 23/Aug/23 09:06
• Resolved: 09/Jul/23 17:12

Description

Consider the following:

@groovy.transform.CompileStatic
class Foo {
  class Bar {
    def baz
  }

  void test() {
    { ->
      new Bar(baz: null)
    }.call()
  }
}

new Foo().test()

The constructor call "new Bar(...)" produces an error at runtime:

VerifyError: Bad type on operand stack
Exception Details:
  Location:
    Foo$_test_closure1.doCall()LFoo$Bar; @5: invokespecial
  Reason:
    Type 'Foo$_test_closure1' (current frame, stack[2]) is not assignable to 'Foo'
  Current Frame:
    bci: @5
    flags: { }
    locals: { 'Foo$_test_closure1' }
    stack: { uninitialized 0, uninitialized 0, 'Foo$_test_closure1' }

Remove the named argument or @CompileStatic and it runs fine.