diff -r 5d2d484a1216 -r 3ae1814f7c59 src/share/classes/com/sun/tools/javac/comp/TransTypes.java
--- a/src/share/classes/com/sun/tools/javac/comp/TransTypes.java	Thu Sep 12 14:52:28 2013 -0400
+++ b/src/share/classes/com/sun/tools/javac/comp/TransTypes.java	Thu Sep 12 22:40:29 2013 +0100
@@ -833,7 +833,7 @@
     }
 
     public void visitReference(JCMemberReference tree) {
-        tree.expr = translate(tree.expr, null);
+        tree.expr = translate(tree.expr, erasure(tree.expr.type));
         tree.type = erasure(tree.type);
         result = tree;
     }