1.1 --- a/src/share/classes/com/sun/tools/javac/comp/Check.java Tue Jun 16 10:46:16 2009 +0100 1.2 +++ b/src/share/classes/com/sun/tools/javac/comp/Check.java Tue Jun 16 10:46:37 2009 +0100 1.3 @@ -391,6 +391,10 @@ 1.4 diags.fragment("incompatible.types" + (d!=null ? ".1" : ""), d), 1.5 t, pt); 1.6 } 1.7 + } catch (Infer.InvalidInstanceException ex) { 1.8 + JCDiagnostic d = ex.getDiagnostic(); 1.9 + log.error(pos, "invalid.inferred.types", t.tvars, d); 1.10 + return types.createErrorType(pt); 1.11 } 1.12 } 1.13 }