src/jdk.compiler/share/classes/com/sun/tools/javac/comp/TransTypes.java

@@ -512,10 +512,17 @@
         tree.cond = translate(tree.cond, syms.booleanType);
         tree.body = translate(tree.body);
         result = tree;
     }
 
+    public void visitWithField(JCWithField tree) {
+        tree.field = translate(tree.field, null);
+        tree.value = translate(tree.value, erasure(tree.field.type));
+        tree.type = erasure(tree.type);
+        result = retype(tree, tree.type, pt);
+    }
+
     public void visitForLoop(JCForLoop tree) {
         tree.init = translate(tree.init, null);
         if (tree.cond != null)
             tree.cond = translate(tree.cond, syms.booleanType);
         tree.step = translate(tree.step, null);