[GROOVY-6713] Inherited generic property do not honour type

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.2.1, 2.4.0-beta-3
• Fix Version/s: 2.4.0-rc-1
• Component/s: Static compilation
• Environment: Groovy Version: 2.2.1 JVM: 1.7.0_40 Vendor: Oracle Corporation OS: Mac OS X
• Assignee: Unassigned
• Reporter: paolo di tommaso
• Created: 16/Apr/14 15:50
• Updated: 28/Dec/14 04:46
• Resolved: 28/Dec/14 04:46

Description

Generic properties do not honour the declared type in the subclass. For example:

@CompileStatic
class X<T> {

  T target

}

@CompileStatic
class Y extends X<InputStream> {

  def f() {  target.read() }

}

Reports the following compilation error:

org.codehaus.groovy.control.MultipleCompilationErrorsException: startup failed:
test.groovy: 14: [Static type checking] - Cannot find matching method java.lang.Object#read(). Please check if the declared type is right and if the method exists.
@ line 14, column 14.
def f() { target.read()