You are viewing a plain text version of this content. The canonical link for it is here.
Posted to notifications@groovy.apache.org by "Christopher Smith (Jira)" <ji...@apache.org> on 2022/10/19 22:26:00 UTC
[jira] [Created] (GROOVY-10791) STC doesn't find method reference on superclass
Christopher Smith created GROOVY-10791:
------------------------------------------
Summary: STC doesn't find method reference on superclass
Key: GROOVY-10791
URL: https://issues.apache.org/jira/browse/GROOVY-10791
Project: Groovy
Issue Type: Bug
Components: Static Type Checker
Affects Versions: 4.0.6
Reporter: Christopher Smith
Java permits method references to specify a subclass in {{ContainingType}}, but the STC produces an error unless the exact declaring type is supplied.
{code:groovy}
@Grab('io.vavr:vavr:0.10.4')
import io.vavr.control.Option
Option<String> supply() { Option.of('hello') }
@groovy.transform.CompileStatic
void test() {
println supply().map(Option::toTry)
// ^ declared on Value
}
test()
{code}
produces
{code}
Failed to find the expected method[toTry(java.lang.String)] in the type[io.vavr.control.Option] @ line 8, column 24.
println supply().map(Option::toTry)
{code}
(which also suggests that the STC, not traversing supertypes to find a {{::toTry}}, has misinferred the signature).
--
This message was sent by Atlassian Jira
(v8.20.10#820010)