[GROOVY-10364] STC does not type check method call when using bounded type parameter as a type argument

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 3.0.11, 4.0.3, 2.5.22
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Thodoris Sotiropoulos
• Created: 12/Nov/21 11:49
• Updated: 12/Mar/23 23:45
• Resolved: 17/May/22 00:08

Description

I have the following program

class A<T> {
  void m(B<T> x, T y) {}
}

class B<T> {}

class Test<X, Y extends X> {
  void m() {
    A<Y> x = new A<Y>();
    x.m(new B<Y>(), (Y) null);
  }
}

Actual behaviour

org.codehaus.groovy.control.MultipleCompilationErrorsException: startup failed:
test.groovy: 11: [Static type checking] - Cannot call A#m(B<Y extends X>, Y) with arguments [B<Y>, Y]
 @ line 11, column 5.
       x.m(new B<Y>(), (Y) null);
       ^

1 error

Expected behaviour

Compile successfully

Tested against master.