diff -r 3ac205ad1f05 -r 22872b24d38c src/share/classes/com/sun/tools/javac/comp/Check.java
--- a/src/share/classes/com/sun/tools/javac/comp/Check.java	Tue Jun 16 10:46:16 2009 +0100
+++ b/src/share/classes/com/sun/tools/javac/comp/Check.java	Tue Jun 16 10:46:37 2009 +0100
@@ -391,6 +391,10 @@
                                      diags.fragment("incompatible.types" + (d!=null ? ".1" : ""), d),
                                      t, pt);
                 }
+            } catch (Infer.InvalidInstanceException ex) {
+                JCDiagnostic d = ex.getDiagnostic();
+                log.error(pos, "invalid.inferred.types", t.tvars, d);
+                return types.createErrorType(pt);
             }
         }
     }