[GROOVY-11372] STC: write property via extension method

• 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: 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: 09/May/24 13:49
• Updated: 10/May/24 15:42
• Resolved: 10/May/24 15:42

Description

Consider the following:

@groovy.transform.TypeChecked
void test(OutputStream os) {
  os.bytes = new byte[0]
}

Compiler reports "No such property: bytes for class: java.io.OutputStream". This is because StaticTypeCheckingVisitor#existsProperty looks for isser/getter to determine property type. This only works for matched methods like "MetaClass getMetaClass()" and "void setMetaClass(MetaClass mc)".

GROOVY-9115, GROOVY-9123, GROOVY-11370