--- a/langtools/src/share/classes/com/sun/tools/javac/comp/TransTypes.java	Tue Sep 23 10:44:51 2008 -0700
+++ b/langtools/src/share/classes/com/sun/tools/javac/comp/TransTypes.java	Mon Sep 29 11:34:43 2008 +0100
@@ -534,7 +534,7 @@
         tree.truepart = translate(tree.truepart, erasure(tree.type));
         tree.falsepart = translate(tree.falsepart, erasure(tree.type));
         tree.type = erasure(tree.type);
-        result = tree;
+        result = retype(tree, tree.type, pt);
     }
 
    public void visitIf(JCIf tree) {