[GROOVY-5873] Type checker does not infer generic type

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.0.6
• Fix Version/s: 2.1.7, 2.2.0-beta-2
• Component/s: Static Type Checker
• Assignee: Jochen Theodorou
• Reporter: Henri Pihkala
• Created: 02/Jan/13 08:20
• Updated: 14/Oct/13 16:53
• Resolved: 19/Jul/13 13:52

Description

The type checker is unable to infer the type of variable value in the below code:

abstract class Parent<T> {
	public T value
}

class Impl extends Parent<Integer> {

}

@CompileStatic
class Test {
	public void test() {
		Impl impl = new Impl()
		Integer i = impl.value // fails
	}
}

The compiler gives this error:

[Static type checking] - Cannot assign value of type java.lang.Object to variable of type java.lang.Integer