[GROOVY-8319] Improve smart type on list expresions

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.4.12
• Fix Version/s: 3.0.0-alpha-1, 2.5.0-beta-2, 2.4.13, 2.6.0-alpha-2
• Component/s: Static compilation, Static Type Checker
• Assignee: Daniel Sun
• Reporter: Alexey Afanasiev
• Created: 15/Sep/17 14:12
• Updated: 15/Sep/17 16:34
• Resolved: 15/Sep/17 16:34

Description

Probably code below should be compiled well in CompileStatic:

def m() {
    def a  = 1
    Integer[] b = [a] // error: 'a' treats like an Object
}

and

def m() {
     def row = ["", "", ""]
     def (left, right) = [row[0], row[1]]
     left.toUpperCase() // error: 'left' treats like an Object
}

Issue Links

• links to: GitHub Pull Request #602