[GROOVY-10308] SC incorrectly reports "access to Object#field" is forbidden

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 4.0.0-beta-2, 3.0.20
• Component/s: Static compilation
• Assignee: Eric Milles
• Reporter: Thodoris Sotiropoulos
• Created: 15/Oct/21 11:56
• Updated: 30/Nov/23 16:09
• Resolved: 24/Oct/21 00:14

Description

I have the following program:

class A<T> {
  T p
}
@groovy.transform.CompileStatic
void test() {
  def x = { -> new A<String>() }
  def y = x()
  def z = y.p
  y = null // changes inferred type
}
test()

Actual behaviour

org.codehaus.groovy.control.MultipleCompilationErrorsException: startup failed:
test.groovy: 9: Access to java.lang.Object#f is forbidden @ line 8, column 13.
       def z = y.p
               ^

1 error

Expected behaviour

Compile successfully

Tested against master