You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Jan 7, 2020. It is now read-only.
Error:(33, 29) Groovyc: [GContracts] Postconditions only allow 'old' and 'result' closure parameters.
I've never done anything with the Groovy AST stuff, but from a quick look at the code, I suspect that the ClosureExpressionValidator instance is recursing to the inner closure when it visits the AST of the closure passed to @ensures, instead of just doing the top-level one. The inner closure is not a valid top-level closure, but I don't think it should have to be.
The text was updated successfully, but these errors were encountered:
Sign up for freeto subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Given this code (which I believe should be valid):
The compiler gives this error:
I've never done anything with the Groovy AST stuff, but from a quick look at the code, I suspect that the
ClosureExpressionValidator
instance is recursing to the inner closure when it visits the AST of the closure passed to @ensures, instead of just doing the top-level one. The inner closure is not a valid top-level closure, but I don't think it should have to be.The text was updated successfully, but these errors were encountered: