[jira] [Created] (GROOVY-10256) STC: no error for incompatible type bounds on return value

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

Eric Milles created GROOVY-10256:
------------------------------------

             Summary: STC: no error for incompatible type bounds on return value
                 Key: GROOVY-10256
                 URL: https://issues.apache.org/jira/browse/GROOVY-10256
             Project: Groovy
          Issue Type: Bug
          Components: Static Type Checker
    Affects Versions: 4.0.0-beta-1
            Reporter: Eric Milles


Consider the following:
{code:groovy}
def <T extends CharSequence> T chars() {
  "foo"
}
@groovy.transform.TypeChecked
List test() {
  chars()
}
{code}

The return type extends {{CharSequence}}, which is incompatible with {{List}}.  No STC error is produced.  This is a follow up from GROOVY-7316.



--
This message was sent by Atlassian Jira
(v8.3.4#803005)