[GROOVY-11356] STC: missing property error for implicit-this reference to private super field or method

• Type: Bug
• Status: Resolved
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 5.0.0-alpha-9, 4.0.22
• Component/s: Static Type Checker

Language

groovy

• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 06/Apr/24 13:50
• Updated: 09/Apr/24 17:52
• Resolved: 09/Apr/24 15:50

Description

Follow up from GROOVY-11319. One case that was left unhandled is the implicit-this case. Consider the following:

abstract class A {
  private int x // or "private int getX() {}"
}
class C extends A {
  @TypeChecked m() {
    super.x // "No such property: x" error
    this.x // "No such property: x" error
    x // MissingPropertyException at runtime
    this.with {
      thisObject.x // "No such property: x" error
      delegate.x // "No such property: x" error
      owner.x // "No such property: x" error
      this.x // "No such property: x" error
      it.x // "No such property: x" error
      x // MissingPropertyException at runtime
    }
  }
}

Issue Links

• is related to: GROOVY-9850 STC: add error for write of private or package-private field of super class
• is related to: GROOVY-11319 Access to a private property of a parent object is not caught