[GROOVY-5594] Type checker doesn't infer property type if coming from a generified getter

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.0.0
• Fix Version/s: 2.0.1
• Component/s: Static Type Checker
• Assignee: Cédric Champeau
• Reporter: Cédric Champeau
• Created: 12/Jul/12 04:31
• Updated: 26/Jul/12 16:49
• Resolved: 12/Jul/12 06:55

Description

If someone uses the property notation to get the key or the value of a map entry, the property type is not inferred properly. The workaround is to use a getter instead.

Test case:

Map.Entry<Date, Integer> entry

@ASTTest(phase=INSTRUCTION_SELECTION, value={
    assert node.getNodeMetaData(INFERRED_TYPE) == make(Date)
})
def k = entry?.key

@ASTTest(phase=INSTRUCTION_SELECTION, value={
    assert node.getNodeMetaData(INFERRED_TYPE) == Integer_TYPE
})
def v = entry?.value

Issue Links

• is depended upon by: GROOVY-5587 Map.Entry<K,V>#key and #value fail to infer type correctly under @StaticCompile