[GROOVY-6761] Static compiler doesn't respect contravariant type tokens

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.3.0
• Fix Version/s: 2.3.1
• Component/s: Static Type Checker
• Assignee: Jochen Theodorou
• Reporter: Luke Daley
• Created: 06/May/14 03:33
• Updated: 20/May/14 05:31
• Resolved: 14/May/14 09:43

Description

@groovy.transform.CompileStatic
class Thing {

  public <O> void contravariant(Class<? super O> type, O object) {}
  public <O> void invariant(Class<O> type, O object) {}  
  
  void m() {
    invariant(String, "foo")
    contravariant(String, "foo") // fails, can't find method
  }
}

Worked in rc-2, fails with 2.3.0 final. Haven't tested rc-4.