[GROOVY-9058] each parameter type not correctly inferenced

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.5.6
• Fix Version/s: 3.0.0-beta-1, 2.5.7
• Component/s: Static compilation
• Assignee: Paul King
• Reporter: Mauro Molinari
• Created: 27/Mar/19 16:08
• Updated: 20/May/19 07:31
• Resolved: 04/May/19 05:20

Description

Consider this Java class:

package test51;

import java.util.List;

public class Foo {
    public List<Object[]> bar() { return null; }
}

 and this Groovy class:

package test51

import groovy.transform.CompileStatic

@CompileStatic
class Test51 {
    protected void foo() {
        List<Object[]> foo = new Foo().bar()
        foo.each { row ->
            def o = row[0]
        }
    }
    
    List bar() {
    }
}

This produces a compiler error because row is resolved as Object rather than Object[].

A workaround is to declare row as Object[] row in the closure parameter list.

Issue Links

• links to: GitHub Pull Request #921