[GROOVY-6095] Static checker fails on correct code

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 2.1.4
• Assignee: Cédric Champeau
• Reporter: Maxim Medvedev
• Created: 11/Apr/13 04:40
• Updated: 08/Apr/22 16:14
• Resolved: 27/May/13 06:39

Description

Sample project to reproduce attached

Static checker fails compiling the following code

import groovy.transform.CompileStatic

import javax.servlet.ServletContext
import javax.servlet.ServletRegistration

/**

 * author: Richard Vowles - http://gplus.to/RichardVowles
 */
@CompileStatic
class ServletExample {

  public void myMethod(ServletContext ctx) {
    ctx.getServletRegistrations().each { String name, ServletRegistration sr ->
      println name
    }

  }
}

with the message
Groovyc: [Static type checking] - Cannot call org.codehaus.groovy.runtime.DefaultGroovyMethods#each(java.util.Map <java.lang.String, java.lang.Object extends javax.servlet.ServletRegistration>, groovy.lang.Closure) with arguments [java.util.Map <java.lang.String, java.lang.Object extends javax.servlet.ServletRegistration>, groovy.lang.Closure]

Issue Links

• relates to: GROOVY-10576 STC: map putAll fails to match "?" to "Object"
• links to: GitHub Pull Request #1123