[GROOVY-6659] generic bounds ignored by type checking

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.3.0, 2.2.3, 2.4.0-beta-3
• Fix Version/s: 2.5.0-alpha-1
• Component/s: Static compilation, Static Type Checker
• Assignee: Unassigned
• Reporter: Jochen Theodorou
• Created: 04/Apr/14 02:22
• Updated: 02/May/17 02:03
• Resolved: 30/Sep/16 00:59

Description

class A{}
class B{}

@groovy.transform.CompileStatic
class Helper<V extends A> {
           public Helper(Closure<V> cl) {}
       }
@groovy.transform.CompileStatic
       static <C extends B> void extensionMethod(Closure<C> cl) {
           new Helper<C>(cl)
       }

The example is inspired by the fix done for GROOVY-6657, not sure versions before are affected, since this kind of code failed before. So it might be seen as regression.

Anyway, the code above should not compile, since Helper cannot extend A and B at the same time.