[GROOVY-10365] STC does not perform boxing when overriding method using a parameterized class with bounded type parameters

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 4.0.3
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Thodoris Sotiropoulos
• Created: 12/Nov/21 12:09
• Updated: 24/Jul/22 12:16
• Resolved: 17/May/22 14:46

Description

I have the following program

interface I {
  double m(Integer x);
}

class A<T extends Number, Y> implements I {
  public double m(Integer x) {
    return 10.0;
  }
}

class B<T extends I> {
  public int f;

  double m2(A<Float, ? extends T> x) {
    return x.m(f);
  }
}

Actual behaviour

org.codehaus.groovy.control.MultipleCompilationErrorsException: startup failed:
test.groovy: 15: [Static type checking] - Cannot call A#m(java.lang.Integer) with arguments [int]
 @ line 15, column 12.
       return x.m(f);
              ^

1 error

Expected behaviour

Compile successfully

Tested against master.