Daniil Ovchinnikov created GROOVY-9204: ------------------------------------------
Summary: Compiler loses type info of superclass field Key: GROOVY-9204 URL: https://issues.apache.org/jira/browse/GROOVY-9204 Project: Groovy Issue Type: Bug Components: Static compilation, Static Type Checker Affects Versions: 2.5.7 Reporter: Daniil Ovchinnikov {code:java|title=foo/bar/classes.java} package foo.bar; class F { void hi() {} } abstract class Base<T extends F> { protected T theField; } abstract class Middle<T extends F> extends Base<T> {} abstract class Concrete extends Middle<F> {} {code} {code:java|title=foo/bar/GroovyUsage.groovy} package foo.bar @groovy.transform.CompileStatic class GroovyUsage extends Concrete { def usage() { theField.hi() // Error:(7, 9) Groovyc: [Static type checking] - Cannot find matching method java.lang.Object#hi(). Please check if the declared type is correct and if the method exists. } } {code} Note this was working with 2.4.17. -- This message was sent by Atlassian JIRA (v7.6.14#76016)