[
https://issues.apache.org/jira/browse/GROOVY-9204?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=17057163#comment-17057163
]
Daniil Ovchinnikov commented on GROOVY-9204:
--------------------------------------------
[~katoquro] no. Next time please create another issue, since it will be much
more easier to mark it as a duplicate if it turns out to be such.
> 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
> Assignee: Daniel Sun
> Priority: Blocker
> Fix For: 3.0.0, 2.5.10
>
> Time Spent: 1.5h
> Remaining Estimate: 0h
>
> {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
(v8.3.4#803005)
