compilation statique Groovy (@CompileStatic) se types de champs de classe dans `Object`

Question

suivant la classe Compiler Groovy

@CompileStatic 
class StaticCompileTest { 

    private def fieldInt = 3 

} 

résultats dans cette classe, quand décompiler le fichier .class:

public class StaticCompileTest implements GroovyObject { 
    private Object fieldInt; 
} 

Changer le champ final ne change pas la situation.

Pourquoi le compilateur Groovy dans ce cas ne peut-il pas dériver le type?

Answer 1

Parce qu'il est intrinsèquement dangereux de supposer que le type ne changera pas.

voir http://docs.groovy-lang.org/latest/html/documentation/#_variables_vs_fields_in_type_inference