[GROOVY-11358] STC: error for abstract class private or package-private field access

• 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: 10/Apr/24 12:59
• Updated: 10/Apr/24 15:05
• Resolved: 10/Apr/24 14:36

Description

Consider the following:

package p
abstract class A {
  private priv
  @PackageScope pack
}

@TypeChecked
void test(p.A a) {
  a.@priv // MissingFieldException
  a.@pack // MissingFieldException
  a.priv  // MissingPropertyException
  a.pack  // MissingPropertyException
}

Access to "priv" and "pack" outside of A will always fail, since a subclass instance is required.