[GROOVY-10125] FP Cycle detected in type parameter that extends another type parameter

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 4.0.0-beta-1, 3.0.10
• Component/s: Static compilation, Static Type Checker
• Assignee: Eric Milles
• Reporter: Stefanos Chaliasos
• Created: 07/Jun/21 11:21
• Updated: 03/Feb/22 22:34
• Resolved: 07/Jun/21 19:16

Description

I have the following Groovy program.

@groovy.transform.TypeChecked
class Test<X, Y extends X> {}

Actual Behavior

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

org.codehaus.groovy.control.MultipleCompilationErrorsException: startup failed:
Test.groovy: 2: Cycle detected: the type java.lang.Object cannot extend/implement itself or one of its own member types
 @ line 2, column 25.
   class Test<X, Y extends X> {}
                           ^

1 error

Expected Behavior

Compile successfully.

Comment

This bug is a regression because it compiles successfully with 3.0.8 and 4.0.0-alpha-3. Specifically, the fix of GROOVY-10113 introduced this bug.

Affected Version

This programs have been tested with the compiler from the master (commit: 05a39632565bee88949c8db9d56b9f9598321fc2).