[GROOVY-7849] Incompatible covariant array return type

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.4.6
• Fix Version/s: 2.4.8
• Component/s: Compiler
• Assignee: Shil Sinha
• Reporter: Daniil Ovchinnikov
• Created: 27/May/16 12:47
• Updated: 25/Jul/17 07:47
• Resolved: 04/Jun/16 04:13

Description

Probably duplicates/is related to GROOVY-7185.

Consider the snippet:

interface Base {}

interface Derived extends Base {}

interface I {
  Base[] foo()
}

interface I2 extends I {
  Derived[] foo()
}

class C implements I2 {
  Derived[] foo() { null }
}

Compilation fails with:

The return type of Derived[] foo() in C is incompatible with Base[] in I

Issue Links

• duplicates: GROOVY-7185 Impossible to override method with generic array of Java class.
• relates to: GROOVY-7721 Static type checking fails when compiling against a Java8 interface with inherited methods
• links to: GitHub Pull Request #346