[
https://issues.apache.org/jira/browse/GROOVY-12053?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Paul King resolved GROOVY-12053.
--------------------------------
Fix Version/s: 6.0.0-alpha-2
Resolution: Fixed
> groovy-contracts loop @Invariants and @Decreases fail under @TypeChecked
> ------------------------------------------------------------------------
>
> Key: GROOVY-12053
> URL: https://issues.apache.org/jira/browse/GROOVY-12053
> Project: Groovy
> Issue Type: Improvement
> Reporter: Paul King
> Assignee: Paul King
> Priority: Major
> Fix For: 6.0.0-alpha-2
>
>
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
