Hi... Is it possible to infer the return type, or types of a script during static compilation? Presumably there is always a finite list of branches where the script could end.
I'm looking at org.codehaus.groovy.transform.stc.StaticTypeCheckingVisitor#getInferredReturnType, but I'm not really sure how to call it from a type checking script, nor what adds the inferred return type to the metadata which is used in that method. cheers, jamie