[GROOVY-6330] Groovy not checking generics information correctly for covariant methods implementing interfaces

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.1.6, 2.2.0-beta-1
• Fix Version/s: 2.3.0-beta-1
• Component/s: Compiler
• Assignee: Paul King
• Reporter: Paul King
• Created: 29/Aug/13 04:45
• Updated: 07/Apr/15 19:07
• Resolved: 26/Mar/14 04:10

Description

For this class:

class StringIterator implements Iterator<String> {
  void remove() { }
  boolean hasNext() { false }
  def next() { 3 }
}

The compiler should complain that next doesn't have return type String.