[GROOVY-5508] Verifier fails to check property types with covariant override

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 1.8.6, 2.0-rc-2
• Fix Version/s: 1.8.7, 2.0.1
• Component/s: Compiler
• Assignee: Jochen Theodorou
• Reporter: Andres Almiray
• Created: 08/Jun/12 02:28
• Updated: 26/Jul/12 16:49
• Resolved: 22/Jun/12 14:47

Description

The following code Does not throw an compiler exception

interface Addon {
   Map getFactories()
}

class AddonImpl implements Addon {
    Map factories
}

class SubAddon extends AddonImpl {
    def factories = [a:1]
}

whereas the method call will output the correct compiler error

interface Addon {
   Map getFactories()
}

class AddonImpl implements Addon {
    Map getFactories() { [:] }
}

class SubAddon extends AddonImpl {
    def getFactories() { [:] }
}

the error being

The return type of java.lang.Object getFactories() in SubAddon is incompatible with java.util.Map getFactories() in AddonImpl