GROOVY-9863

Author: eric-milles

base-test/org.eclipse.jdt.groovy.core.tests.compiler/src/org/eclipse/jdt/groovy/core/tests/xform/StaticCompilationTests.java

@@ -5343,4 +5343,25 @@ public void testCompileStatic9799() {
 
         runConformTest(sources, "works");
     }
+
+    @Test
+    public void testCompileStatic9863() {
+        //@formatter:off
+        String[] sources = {
+            "Main.groovy",
+            "@groovy.transform.CompileStatic\n" +
+            "class C {\n" +
+            "  double getSomeValue() {\n" +
+            "    0.0d\n" +
+            "  }\n" +
+            "  double test() {\n" +
+            "    1.0d + someValue\n" +
+            "  }\n" +
+            "}\n" +
+            "print new C().test()\n",
+        };
+        //@formatter:on
+
+        runConformTest(sources, "1.0");
+    }
 }

base/org.codehaus.groovy25/src/org/codehaus/groovy/transform/stc/StaticTypeCheckingVisitor.java

@@ -4504,6 +4504,11 @@ protected void storeType(Expression exp, ClassNode cn) {
             if (accessedVariable instanceof Parameter) {
                 ((Parameter) accessedVariable).putNodeMetaData(StaticTypesMarker.INFERRED_TYPE, cn);
             }
+            // GRECLIPSE add -- GROOVY-9863
+            else if (accessedVariable instanceof PropertyNode && ((PropertyNode) accessedVariable).getField().isSynthetic()) {
+                ((PropertyNode) accessedVariable).putNodeMetaData(StaticTypesMarker.INFERRED_TYPE, cn);
+            }
+            // GRECLIPSE end
             if (var.isClosureSharedVariable() && cn != null) {
                 List<ClassNode> assignedTypes = typeCheckingContext.closureSharedVariablesAssignmentTypes.get(var);
                 if (assignedTypes == null) {

base/org.codehaus.groovy30/src/org/codehaus/groovy/transform/stc/StaticTypeCheckingVisitor.java

@@ -4283,6 +4283,11 @@ protected void storeType(final Expression exp, ClassNode cn) {
             if (accessedVariable instanceof Parameter) {
                 ((Parameter) accessedVariable).putNodeMetaData(INFERRED_TYPE, cn);
             }
+            // GRECLIPSE add -- GROOVY-9863
+            else if (accessedVariable instanceof PropertyNode && ((PropertyNode) accessedVariable).getField().isSynthetic()) {
+                ((PropertyNode) accessedVariable).putNodeMetaData(INFERRED_TYPE, cn);
+            }
+            // GRECLIPSE end
             if (var.isClosureSharedVariable() && cn != null) {
                 List<ClassNode> assignedTypes = typeCheckingContext.closureSharedVariablesAssignmentTypes.computeIfAbsent(var, k -> new LinkedList<ClassNode>());
                 assignedTypes.add(cn);