[GROOVY-8220] GroovyCastException with CompileStatic

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.5.0-beta-1, 2.4.12
• Fix Version/s: 2.4.13
• Assignee: John Wagenleitner
• Reporter: paolo di tommaso
• Created: 06/Jun/17 21:26
• Updated: 06/Mar/18 23:25
• Resolved: 27/Sep/17 09:36

Description

@groovy.transform.CompileStatic
class Foo {
    CharSequence makeEnv( env, StringBuilder result = new StringBuilder() ) {
        if( env instanceof File ) {
            env = env.toPath()
        }
        if( env instanceof String && env.contains('=') ) {
            result << 'export ' << env << ';'
        }

        return result.toString()
    }
}

assert new Foo().makeEnv('X=1') == 'export X=1;'

Exception thrown

org.codehaus.groovy.runtime.typehandling.GroovyCastException: Cannot cast object 'X=1' with class 'java.lang.String' to class 'java.lang.Iterable'
	at Foo.makeEnv(ConsoleScript5:10)
	at Foo.makeEnv(ConsoleScript5:4)
	at Foo$makeEnv.call(Unknown Source)
	at ConsoleScript5.run(ConsoleScript5:20)

Without CompileStatic it works as expected.

Issue Links

• is broken by: GROOVY-8157 Flow typing doesn't work with assignment to a parameter
• is duplicated by: GROOVY-8237 Invalid type inference when using CompileStatic annotation
• links to: GitHub Pull Request #605
• links to: GitHub Pull Request #606