[GROOVY-11393] STC: error for non-static member of class delegate

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

Language

groovy

• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 31/May/24 16:33
• Updated: 05/Jun/24 17:17
• Resolved: 05/Jun/24 17:17

Description

Consider the following:

class Foo {
  static getBar() { 'bar' }
  Object getBaz() { 'baz' }
}

@groovy.transform.TypeChecked
void test() {
  def foo = Foo
  foo.with {
    println bar
    println baz
    println getBar()
    println getBaz()
  }
}

test()

This script prints "bar" and then throws a MissingPropertyException or ClassCastException (static compilation). The type checker does not warn of non-static member access for a Class delegate.

GROOVY-9415, GROOVY-9618, GROOVY-10820