[GROOVY-10094] STC misses type checks on default arguments

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.5.15, 4.0.0-beta-1, 3.0.9
• Fix Version/s: 4.0.0-beta-2, 3.0.20
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Thodoris Sotiropoulos
• Created: 18/May/21 11:55
• Updated: 12/Dec/23 16:28
• Resolved: 10/Sep/21 19:12

Description

I have the following program

class Foo {
  void bar(int x = "str") {
    System.out.println(x)
  }
}
class Main {
  public static void main(String[] args) {
    (new Foo()).bar()
  } 
}

Actual Behaviour

Runtime error

Exception in thread "main" org.codehaus.groovy.runtime.typehandling.GroovyCastException: Cannot cast object 'fda' with class 'java.lang.String' to class 'int'
        at org.codehaus.groovy.runtime.typehandling.DefaultTypeTransformation.castToNumber(DefaultTypeTransformation.java:172)
        at org.codehaus.groovy.runtime.typehandling.DefaultTypeTransformation.intUnbox(DefaultTypeTransformation.java:81)
        at Foo.bar(test.groovy)
        at Main.main(test.groovy:10)

Expected Behaviour

Compile-time error

 

Tested against https://github.com/apache/groovy/commit/867aa7041cfc790d01828591f72996099ff2439f