[GROOVY-10528] STC: NPE for raw type instanceof followed by parameterized extension method

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 4.0.1
• Fix Version/s: 4.0.2
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 08/Mar/22 18:51
• Updated: 23/Jul/22 16:25
• Resolved: 29/Mar/22 18:18

Description

Consider the following:

void test(... args) {
    args.each { object ->
        if (object instanceof Iterable) {
            object.each { test(it) }
        }
    }
}
test(1,[2,3])

The inferred type of "it" is causing NullPointerException at StaticTypeCheckingSupport.isAssignableTo(StaticTypeCheckingSupport.java:489)