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)
