[GROOVY-10283] Cannot assign type parameter whose bound is a parameterized type that takes a wildcard

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 4.0.0-beta-2
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Thodoris Sotiropoulos
• Created: 05/Oct/21 07:22
• Updated: 03/Feb/22 22:32
• Resolved: 10/Oct/21 13:34

Description

I have the following program

class A<T1, T2> {}

class B<T1 extends Number, T2 extends A<C, ? extends T1>> {
  T2 f;

  B(T2 f) {
    this.f  = f;
  }
}

class C {}

Actual behavior

org.codehaus.groovy.control.MultipleCompilationErrorsException: startup failed:
test.groovy: 7: [Static type checking] - Cannot assign value of type A<C, ? extends java.lang.Number<T1 extends java.lang.Number>> to variable of type T2
 @ line 7, column 15.
       this.f  = f;
                 ^

1 error

Expected behavior

Compile successfully

Tested against master