[
https://issues.apache.org/jira/browse/GROOVY-10253?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Eric Milles updated GROOVY-10253:
---------------------------------
Description:
Consider the following:
{code:groovy}
@groovy.transform.TypeChecked
def <N extends Number> void test(List<N> list) {
List<Integer> ints = list
}
{code}
No STC error is emitted for the incompatible assignment.
See also GROOVY-7720, GROOVY-9952 and GROOVY-10222.
was:
Consider the following:
{code:groovy}
@groovy.transform.TypeChecked
def <N extends Number> void test(List<N> list) {
List<Integer> ints = list
}
{code}
No STC error is emitted for the incompatible assignment.
See also GROOVY-7720 and GROOVY-10222.
> STC: no error for incompatible placeholder assignment
> -----------------------------------------------------
>
> Key: GROOVY-10253
> URL: https://issues.apache.org/jira/browse/GROOVY-10253
> Project: Groovy
> Issue Type: Bug
> Components: Static Type Checker
> Affects Versions: 4.0.0-beta-1
> Reporter: Eric Milles
> Assignee: Eric Milles
> Priority: Major
>
> Consider the following:
> {code:groovy}
> @groovy.transform.TypeChecked
> def <N extends Number> void test(List<N> list) {
> List<Integer> ints = list
> }
> {code}
> No STC error is emitted for the incompatible assignment.
> See also GROOVY-7720, GROOVY-9952 and GROOVY-10222.
--
This message was sent by Atlassian Jira
(v8.3.4#803005)
