[GROOVY-8590] STC incorrectly infers type of nested method call used in a return stmt

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.5.0-rc-3
• Fix Version/s: 2.6.0-alpha-4, 3.0.0-alpha-3, 2.5.0
• Component/s: Static Type Checker
• Assignee: John Wagenleitner
• Reporter: John Wagenleitner
• Created: 20/May/18 04:15
• Updated: 26/Jul/18 04:38
• Resolved: 23/May/18 01:25

Description

class Source {
    Object getValue() { '32' }
}
@groovy.transform.CompileStatic
int m(Source src) {
    return Integer.parseInt((String) src.getValue())
}
null

Fails with

[Static type checking] - Inconvertible types: cannot cast int to java.lang.String

Git bisect shows it is related to change for GROOVY-7753 (commit 9d7c1bf1b07d43c1efd16c9252b).

Issue Links

• relates to: GROOVY-8595 Expected parameter of type XXX but got YYY static compile error
• links to: GitHub Pull Request #713