GROOVY-8049, GROOVY-9386, GROOVY-11641: SC: dynamic resolution

- don't transform property with `DYNAMIC_RESOLUTION` to a method call

Author: eric-milles

src/main/java/org/codehaus/groovy/transform/sc/transformers/PropertyExpressionTransformer.java

@@ -40,6 +40,10 @@ class PropertyExpressionTransformer {
     }
 
     Expression transformPropertyExpression(final PropertyExpression pe) {
+        if (pe.getNodeMetaData(StaticTypesMarker.DYNAMIC_RESOLUTION) != null) {
+            return pe.transformExpression(scTransformer); // GROOVY-11641, etc.
+        }
+
         MethodNode dmct = pe.getNodeMetaData(StaticTypesMarker.DIRECT_METHOD_CALL_TARGET);
         // NOTE: BinaryExpressionTransformer handles the setter
         if (dmct != null && dmct.getParameters().length == 0) {

src/main/java/org/codehaus/groovy/transform/trait/TraitReceiverTransformer.java

@@ -122,7 +122,7 @@ public Expression transform(final Expression exp) {
                     propertyExpression.getProperty().setSourcePosition(exp);
                     return propertyExpression;
                 }
-            } else if (accessedVariable instanceof DynamicVariable && !inClosure) { // GROOVY-9386
+            } else if (accessedVariable instanceof DynamicVariable && !inClosure) { // GROOVY-8049, GROOVY-9386
                 PropertyExpression propertyExpression = propX(varX(weaved), vexp.getName());
                 propertyExpression.putNodeMetaData(DYNAMIC_RESOLUTION, Boolean.TRUE);
                 propertyExpression.getProperty().setSourcePosition(exp);

src/test/groovy/org/codehaus/groovy/transform/traitx/TraitASTTransformationTest.groovy

@@ -3749,43 +3749,73 @@ final class TraitASTTransformationTest {
     }
 
     // GROOVY-9386
-    @Test
-    void testTraitPropertyInitializedByTap() {
-        assertScript shell, '''
+    @CompileModesTest
+    void testTraitPropertyInitializedByTap(String mode) {
+        assertScript shell, """
             class P {
                 int prop
             }
+            $mode
             trait T {
                 P pogo = new P().tap {
                     prop = 42 // MissingPropertyException: No such property: prop for class: C
                 }
             }
+            $mode
             class C implements T {
             }
 
             def pogo = new C().pogo
             assert pogo.prop == 42
-        '''
+        """
     }
 
     // GROOVY-9386
-    @Test
-    void testTraitPropertyInitializedByWith() {
-        assertScript shell, '''
+    @CompileModesTest
+    void testTraitPropertyInitializedByWith(String mode) {
+        assertScript shell, """
             class P {
                 int prop
             }
+            $mode
             trait T {
                 P pogo = new P().with {
                     prop = 42 // MissingPropertyException: No such property: prop for class: C
                     return it
                 }
             }
+            $mode
             class C implements T {
             }
+
             def pogo = new C().pogo
             assert pogo.prop == 42
-        '''
+        """
+    }
+
+    // GROOVY-8049
+    @CompileModesTest
+    void testTraitPropertyAsReceiverForWith(String mode) {
+        assertScript shell, """
+            interface I {
+              String getJay()
+            }
+            $mode
+            trait T {
+              abstract I getEye()
+              String m() {
+                eye.with {
+                  jay.toUpperCase()
+                }
+              }
+            }
+            $mode
+            class C implements T {
+              I eye = { -> 'works' }
+            }
+
+            assert new C().m() == 'WORKS'
+        """
     }
 
     // GROOVY-8000