Paul King created GROOVY-10960:
----------------------------------
Summary: For multi-assignment type checking of Range expressions,
consider reporting an error for cases which have a known size
Key: GROOVY-10960
URL: https://issues.apache.org/jira/browse/GROOVY-10960
Project: Groovy
Issue Type: Improvement
Reporter: Paul King
Assignee: Paul King
Fix For: 5.0.0-alpha-1
The following code runs fine without {{TypeChecked}} but fails in static
checking mode.
{code}
@groovy.transform.TypeChecked
def method() {
def (x, y, z) = 1..3
assert "$x $y $z" == '1 2 3'
}
method()
{code}
The error is:
{noformat}
[Static type checking] - Multiple assignments without list or tuple on the
right-hand side are unsupported in static type checking mode
{noformat}
The workaround is to replace the range on the RHS of the multi-assignment with
a list:
{code}
def (x, y, z) = [1, 2, 3]
{code}
But since we know the range expression, we can do further checking.
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
