[GROOVY-5906] StackOverflow with CompileStatic

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.1.0-rc-1
• Fix Version/s: 2.1.0-rc-2, 2.0.7
• Assignee: Cédric Champeau
• Reporter: Tim Yates
• Created: 14/Jan/13 04:24
• Updated: 18/Jan/13 16:06
• Resolved: 15/Jan/13 08:02

Description

If I do this:

@groovy.transform.CompileStatic
class Element {
  String name

  static Iterator<Element> single() {
    [ new Element( name: 'single' ) ].iterator()
  }

  static Iterator<List<Element>> multi() {
    [ [ new Element( name: 'first' ), new Element( name: 'second' ) ] ].iterator()
  }

  static caller( boolean useSingle ) {
    useSingle ? single() : multi()
  }
}

println Element.caller( false ).collect()
println Element.caller( true ).collect()

I get:

java.lang.StackOverflowError
	at org.codehaus.groovy.transform.stc.StaticTypeCheckingVisitor.fullyResolveType(StaticTypeCheckingVisitor.java:2936)
	at org.codehaus.groovy.transform.stc.StaticTypeCheckingVisitor.fullyResolve(StaticTypeCheckingVisitor.java:2912)
	at org.codehaus.groovy.transform.stc.StaticTypeCheckingVisitor.fullyResolveType(StaticTypeCheckingVisitor.java:2936)
	at org.codehaus.groovy.transform.stc.StaticTypeCheckingVisitor.fullyResolve(StaticTypeCheckingVisitor.java:2912)
	at org.codehaus.groovy.transform.stc.StaticTypeCheckingVisitor.fullyResolveType(StaticTypeCheckingVisitor.java:2936)
	at org.codehaus.groovy.transform.stc.StaticTypeCheckingVisitor.fullyResolve(StaticTypeCheckingVisitor.java:2912)
	at org.codehaus.groovy.transform.stc.StaticTypeCheckingVisitor.fullyResolveType(StaticTypeCheckingVisitor.java:2936)
  ...