[GROOVY-10981] STC: type inference of variable expression with superclass field and access method

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 2.5.22, 3.0.17, 4.0.11
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 24/Mar/23 21:28
• Updated: 16/Aug/23 16:59
• Resolved: 24/Mar/23 23:37

Description

Consider the following:

abstract class A {
  protected Object thing = 'field'
  String getThing() { 'property' }
}
@groovy.transform.CompileStatic
class C extends A {
  void test() {
    print thing.toUpperCase()
  }
}
new C().test()

If ".toUpperCase()" is removed, the script prints "property". However the STC type recorded comes from the field.

Issue Links

• relates to: GROOVY-10985 Precedence of self property over outer class field
• relates to: GROOVY-11007 STC: instanceof guard for property loses type information