[GROOVY-10744] STC support assignment of primitives to interface types like Comparable and Serializable

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 4.0.5, 2.5.19, 3.0.13
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 02/Sep/22 12:09
• Updated: 10/Feb/23 21:40
• Resolved: 02/Sep/22 12:55

Description

Consider the following:

@groovy.transform.TypeChecked
void test() {
  Serializable x = 0
  Serializable y = 1.2
  Serializable z = Math.PI
  System.err.println(x.class.name)
  System.err.println(y.class.name)
  System.err.println(z.class.name)
}
test()

The BigDecimal literal 1.2 works fine. The other two give an error. Dynamic groovy boxes and completes the assignment.