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

Reply via email to