[GROOVY-11007] STC: instanceof guard for property loses type information

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 3.0.17, 4.0.11
• Fix Version/s: 3.0.18, 4.0.12
• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 10/Apr/23 20:39
• Updated: 23/Aug/23 09:07
• Resolved: 10/Apr/23 21:29

Description

Consider the following:

interface I {
    CharSequence getCharSequence()
}

void accept(CharSequence cs) { }

void test(I i) {
    i.with {
        if (charSequence instanceof String) {
            charSequence.toUpperCase()
            accept(charSequence)
        }
    }
}

test({ -> 'works' } as I)

Reports "Cannot find matching method script#accept(java.lang.Object)".

Issue Links

• is related to: GROOVY-10981 STC: type inference of variable expression with superclass field and access method