[GROOVY-5154] Invalid Static Type Checking report on a method call with type parameters

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.0-beta-1
• Fix Version/s: 2.0-beta-2
• Assignee: Cédric Champeau
• Reporter: Valery Shyshkin
• Created: 30/Nov/11 08:09
• Updated: 24/Dec/11 03:08
• Resolved: 01/Dec/11 04:22

Description

The following code produces static type checking error:

import groovy.transform.*

@TypeChecked 
class Foo {
    def say() {
        FooWithGenerics f
        FooBound fb
        f.say(fb)
    }
}

class FooWithGenerics {
    def <T extends FooBound> void say(T p) {
    }
}
class FooBound {
}