[GROOVY-9821] STC: spread-safe and list property access error for CollType<? extends ItemType>

• Type: Bug
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Affects Version/s: 3.0.6
• Fix Version/s: 2.5.14, 3.0.7, 4.0.0-alpha-2
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Christopher Smith
• Created: 18/Nov/20 00:00
• Updated: 07/Dec/20 22:09
• Resolved: 20/Nov/20 12:56

Description

I have been unable to create a more minimal MCVE, but this is reproducible at will using the Spring Security libraries.

The following method definition:

def authorities(Authentication auth) {
    auth.authorities*.authority
}

produces an error

No such property: authority for class: java.util.Collection <? extends org.springframework.security.core.GrantedAuthority>

It should be attempting to spread the property access onto the collection's element type, not the collection itself. Using *.getAuthority() works as expected. I could not replicate with an inline Groovy test case; the resolution works, but invoking against the Authentication class reliably produces the error. The error occurs in both @CompileStatic and @TypeChecked.

Removing static type checking makes Eclipse correctly display the interface-based property.