[GROOVY-8310] Strange @CompileStatic check in Closure

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 3.0.0-rc-2
• Component/s: Static compilation, Static Type Checker
• Assignee: Eric Milles
• Reporter: Alexey Afanasiev
• Created: 07/Sep/17 16:14
• Updated: 09/Dec/19 21:36
• Resolved: 15/Nov/19 03:08

Description

This code compiles normal:

@CompileStatic
class B {
    public <T> T bar(Closure<Collection<Integer>> a) {
        return null
    }

    def use() {
       bar {
            [1]
        }
    }
}

Switching return type cause error in code:

import groovy.transform.CompileStatic

@CompileStatic
class B {
    public def bar(Closure<Collection<Integer>> a) {
        return null
    }

    def use() {
        bar { // Error:(21, 9) Groovyc: [Static type checking] - Cannot find matching method pack.B#bar(groovy.lang.Closure <java.util.List>). 
            [1]
        }
    }
}

I believe first example should have error too. But probably after fixing in that way following code will be broken:

def foo() {
        def nums = [1]
        def res = nums.collectMany { [it] }
    }

Issue Links

• links to: GitHub Pull Request #1078