[GROOVY-9518] Closure argument types not inferred when calling a constructor

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.5.11
• Fix Version/s: 4.0.0-alpha-1, 3.0.4, 2.5.12
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Mauro Molinari
• Created: 21/Apr/20 08:29
• Updated: 22/May/20 04:02
• Resolved: 23/Apr/20 10:54

Description

Consider this Java class:

package test64;

import java.util.List;
import java.util.function.BiConsumer;

public class Test64J<Integer> {

	public Test64J(String foo, BiConsumer<String, ? super List<Integer>> bar) {
	}
	
	public void doSomething(String foo, BiConsumer<String, ? super List<Integer>> bar) {
	}
}

and this Groovy class:

package test64

import groovy.transform.CompileStatic

@CompileStatic
class Test64 {

	void foobar() {
		Test64J j = new Test64J('hello', { foo, bar ->
			println(bar.size())
		})
		
		j.doSomething('hello') { foo, bar ->
			println(bar.size())
		}
	}
}

The static type checker fails to infer types for foo and bar closure arguments in the constructor call (hence compilation fails on the first println call, because it does not know bar is a List), while it succeeds to do the same thing in the method call.