[GROOVY-10075] Static compiler incorrectly typechecks extension modules

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.4.15, 3.0.8
• Fix Version/s: 4.0.0-beta-1, 3.0.9, 2.5.16
• Component/s: Static compilation
• Environment: macOS 10.15.7 ; OpenJDK Zulu 11.0.3 ; Groovy 3.0.8 ; Gradle 6.8
• Assignee: Eric Milles
• Reporter: Felix Scheinost
• Created: 07/May/21 16:15
• Updated: 09/Nov/22 14:41
• Resolved: 07/May/21 20:38

Description

I think I found a bug in static typechecking of extension modules.

I tested two variants:

1. Fixed generic: static void getTestString(List<String> self)
   1. In this case the bug affects both method calls and property access e.g. integerList.getTestString() and integerList.testString both compile
2. With generic constraint: static <S extends String> void getTestStringOrSubclass(List<S> self) 
   1. In this case the bug only affects property access e.g. integerList.getTestStringOrSubclass() doesn't compile but integerList.testStringOrSubclass compiles

I prepared an example project here: https://github.com/felixscheinost/test-groovy-static-extensions

Please have a look at https://github.com/felixscheinost/test-groovy-static-extensions/blob/master/src/main/groovy/org/example/App.groovy

 

Thanks!

Issue Links

• relates to: GROOVY-10815 SC: Access is forbidden for property-style access to getProperties() default Groovy method