[GROOVY-9935] int reference seems to not use its wrapper class

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 3.0.7
• Fix Version/s: 3.0.8, 4.0.0-alpha-3, 2.5.16
• Component/s: Static compilation, Static Type Checker
• Assignee: Eric Milles
• Reporter: Stefanos Chaliasos
• Created: 10/Feb/21 14:00
• Updated: 31/Jan/22 21:09
• Resolved: 02/Mar/21 15:02

Description

I have the following Groovy program

@groovy.transform.TypeChecked
class Foo {
  static Number foo() {
    def i = 10  // If I use: `Integer i = 10` it works
    return i
  }
}

Actual Behavior

The program does not compile, and I get the following error.

org.codehaus.groovy.control.MultipleCompilationErrorsException: startup failed:
Test.groovy: 5: [Static type checking] - Cannot return value of type int on method returning type java.lang.Number
 @ line 5, column 12.
       return i
              ^

1 error

Expected Behavior

Compile successfully.