[jira] [Updated] (GROOVY-11863) False type checking error for class with delegate field

["Ben Sherman (Jira)" <ji...@apache.org>]

     [ https://issues.apache.org/jira/browse/GROOVY-11863?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Ben Sherman updated GROOVY-11863:
---------------------------------
    Summary: False type checking error for class with delegate field  (was: False type checking error in inner class with delegate field)

> False type checking error for class with delegate field
> -------------------------------------------------------
>
>                 Key: GROOVY-11863
>                 URL: https://issues.apache.org/jira/browse/GROOVY-11863
>             Project: Groovy
>          Issue Type: Bug
>          Components: Static Type Checker
>    Affects Versions: 5.0.4
>            Reporter: Ben Sherman
>            Priority: Minor
>
> Full context is in this GitHub PR: [nextflow-io/nextflow#6220|https://github.com/nextflow-io/nextflow/pull/6220/changes#r2666549692]
> I encountered a false type checking error while trying to upgrade Nextflow from Groovy 4 to 5. I have created a minimal example below. The comparison "c++ < MAX_LINES" is reported as a type mismatch even though both are integer types.
> The factors seem to be (1) an inner class, (2) a delegate field, and (3) a while loop. But I'm not sure what the exact cause is.
> -In my case, the inner class is static, so I can work around the error by moving the inner class outside.-
> Minimal example:
> {code:java}
> import java.nio.file.Path
> import groovy.transform.CompileStatic
> @CompileStatic
> class Test {
>     class Inner {
>         static private int MAX_LINES = 100
>         @Delegate
>         private Map<String,Object> delegate = [:]
>         private String fetch(Path path) {
>             int c=0
>             path.withReader { reader ->
>                 // ERROR: Cannot call java.lang.Integer#compareTo(java.lang.Integer) with arguments [java.lang.Object]
>                 while( c++ < MAX_LINES ) {
>                 }
>             }
>         }
>     }
> }{code}



--
This message was sent by Atlassian Jira
(v8.20.10#820010)