[ https://issues.apache.org/jira/browse/GROOVY-10075?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=17341008#comment-17341008 ]
Eric Milles commented on GROOVY-10075: -------------------------------------- Bingo! !screenshot-2.png! > Static compiler incorrectly typechecks extension modules > -------------------------------------------------------- > > Key: GROOVY-10075 > URL: https://issues.apache.org/jira/browse/GROOVY-10075 > Project: Groovy > Issue Type: Bug > Components: Static compilation > Affects Versions: 2.4.15, 3.0.8 > Environment: macOS 10.15.7 > OpenJDK Zulu 11.0.3 > Groovy 3.0.8 > Gradle 6.8 > Reporter: Felix Scheinost > Assignee: Eric Milles > Priority: Major > Attachments: screenshot-1.png, screenshot-2.png > > > I think I found a bug in static typechecking of extension modules. > I tested two variants: > # Fixed generic: _static void getTestString(List<String> self)_ > ## In this case the bug affects both method calls and property access e.g. > _integerList.getTestString()_ and _integerList__.testString_ both compile > # With generic constraint: _static <S extends String> void > getTestStringOrSubclass(List<S> self)_ > ## 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! -- This message was sent by Atlassian Jira (v8.3.4#803005)