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)
