[GROOVY-9204] Compiler loses type info of superclass field

• Type: Bug
• Status: Closed
• Priority: Blocker
• Resolution: Fixed
• Affects Version/s: 2.5.7
• Fix Version/s: 3.0.0, 2.5.10
• Component/s: Static compilation, Static Type Checker
• Assignee: Daniel Sun
• Reporter: Daniil Ovchinnikov
• Created: 24/Jul/19 12:00
• Updated: 11/Mar/20 16:16
• Resolved: 02/Feb/20 16:55

Description

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> {}

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.
    }
}

Note this was working with 2.4.17.

Issue Links

• links to: GitHub Pull Request #1155
• links to: GitHub Pull Request #1157
• links to: GitHub Pull Request #1158