You are viewing a plain text version of this content. The canonical link for it is here.
Posted to notifications@groovy.apache.org by "Daniel Sun (JIRA)" <ji...@apache.org> on 2018/01/12 15:11:00 UTC
[jira] [Created] (GROOVY-8445) Static analysis does not work
properly when coercing Closure to FunctionInterface
Daniel Sun created GROOVY-8445:
----------------------------------
Summary: Static analysis does not work properly when coercing Closure to FunctionInterface
Key: GROOVY-8445
URL: https://issues.apache.org/jira/browse/GROOVY-8445
Project: Groovy
Issue Type: Bug
Components: Static Type Checker
Affects Versions: 2.6.0-alpha-2, 2.4.13, 2.5.0-beta-2, 3.0.0-alpha-1
Reporter: Daniel Sun
The following code fails when executing in static compilation mode.
{code:java}
import groovy.transform.CompileStatic
import java.util.stream.Collectors
import java.util.stream.Stream
@CompileStatic // if we comment this line, the code works in dynamic mode.
public class Test1 {
public static void main(String[] args) {
p();
}
public static void p() {
assert 13 == Stream.of(1, 2, 3).reduce(7, {r, e -> r + e});
}
}
{code}
Here is the error message:
{code}
[Static type checking] - Cannot find matching method java.util.stream.Stream#reduce(int, groovy.lang.Closure). Please check if the declared type is correct and if the method exists.
at line: 12, column: 30
[Static type checking] - Cannot find matching method java.lang.Object#plus(java.lang.Object). Please check if the declared type is correct and if the method exists.
at line: 12, column: 68
{code}
Similarly, the following code fails in static compilation mode too:
{code:java}
import groovy.transform.CompileStatic
import java.util.stream.Collectors
import java.util.stream.Stream
@CompileStatic // if we comment this line, the code works in dynamic mode.
public class Test1 {
public static void main(String[] args) {
p();
}
public static void p() {
def list = [1, 2, 3]
list.replaceAll { e -> e + 10 }
assert [11, 12, 13] == list
}
}
{code}
Here is the error message:
{code}
[Static type checking] - Cannot find matching method java.util.List#replaceAll(groovy.lang.Closure). Please check if the declared type is correct and if the method exists.
at line: 13, column: 17
[Static type checking] - Cannot find matching method java.lang.Object#plus(int). Please check if the declared type is correct and if the method exists.
at line: 13, column: 40
{code}
--
This message was sent by Atlassian JIRA
(v6.4.14#64029)