[GROOVY-6378] Assignment of values from Map to another causes "Incompatible generic argument types." when using @TypeChecked

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.2.0-beta-2
• Fix Version/s: 2.4.0-rc-1
• Component/s: Compiler
• Environment: Tested on Windows and Mac Os with Java 1.7
• Assignee: Unassigned
• Reporter: Andreas Vorgeitz
• Created: 07/Oct/13 12:43
• Updated: 28/Dec/14 06:55
• Resolved: 28/Dec/14 06:55

Description

The following script causes a compilation error since Groovy 2.2.

The error occurs as soon as you start putting 'mixed' types in the Maps (e.g. Integer and String). I checked it again in Groovy 2.1.3 and it compiled fine.

import groovy.transform.TypeChecked

@TypeChecked
def myFunction() {
  Map mapA=[e:1,et:'Error',ev:'Hello']
  Map mapB=[e:0,et:'No Error',ev:'World']
  
  mapB.e=mapA.e  

// causes compilation error: [Static type checking] - Incompatible generic argument types. Cannot assign java.io.Serializable <? extends java.io.Serializable> to: java.io.Serializable <? extends java.io.Serializable>

  println "${mapB.e}"
}

myFunction()