[GROOVY-11399] STC: inferred type of closure delegate, owner and thisObject

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

Language

groovy

• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 05/Jun/24 19:13
• Updated: 05/Jun/24 21:31
• Resolved: 05/Jun/24 19:45

Description

The inferred type of "delegate", "owner", "thisObject", "getDelegate()", "getOwner()" and "getThisObject()" within a closure has a few problems.

1) All should infer to Class<Type> when in a static context (and no nesting or delegation metadata is present).

2) getOwner() and getThisObject() infer to the enclosing type regardless of the object expression when inside a closure. And the same for getDelegate() if no delegation metadata is found.

3) getOwner() and getDelegate (if no delegation metadata is found) should infer to Closure within a nested closure block. StaticTypeCheckingVisitor#visitVariableExpression does this for "owner" and "delegate".
 
GROOVY-5470, GROOVY-6091, GROOVY-9604