[jira] [Created] (GROOVY-10858) STC method reference return type checking

["Eric Milles (Jira)" <ji...@apache.org>]

Eric Milles created GROOVY-10858:
------------------------------------

             Summary: STC method reference return type checking
                 Key: GROOVY-10858
                 URL: https://issues.apache.org/jira/browse/GROOVY-10858
             Project: Groovy
          Issue Type: Bug
          Components: Static Type Checker
    Affects Versions: 4.0.6, 3.0.13
            Reporter: Eric Milles
            Assignee: Eric Milles


Consider the following:
{code:groovy}
@groovy.transform.CompileStatic
void test() {
  java.util.function.Function<Object,Number> f = Object::toString
  print(f.apply('xxx'))
}
{code}

This code compiles and prints the string instead of a compile-time error indicating that String is not compatible with Number.



--
This message was sent by Atlassian Jira
(v8.20.10#820010)