groovy

Invalid Static Type Checking report on a method call with type parameters

Details

  • Type: Bug Bug
  • Status: Closed Closed
  • Priority: Major Major
  • Resolution: Fixed
  • Affects Version/s: 2.0-beta-1
  • Fix Version/s: 2.0-beta-2
  • Component/s: None
  • Labels:
    None
  • Number of attachments :
    0

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 {
}

Activity

No work has yet been logged on this issue.

People

  • Assignee:
    Cedric Champeau
    Reporter:
    Valery Shyshkin
Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: