7175911: Simplify error reporting API in Check.CheckContext interface

Thu, 02 Aug 2012 18:22:41 +0100

author
mcimadamore
date
Thu, 02 Aug 2012 18:22:41 +0100
changeset 1296
cddc2c894cc6
parent 1293
b2d8a270f5f2
child 1297
e5cf1569d3a4

7175911: Simplify error reporting API in Check.CheckContext interface
Summary: Make error messages generated during Check.checkType more uniform and more scalable
Reviewed-by: jjg, dlsmith

src/share/classes/com/sun/tools/javac/comp/Attr.java file | annotate | diff | comparison | revisions
src/share/classes/com/sun/tools/javac/comp/Check.java file | annotate | diff | comparison | revisions
src/share/classes/com/sun/tools/javac/comp/Infer.java file | annotate | diff | comparison | revisions
src/share/classes/com/sun/tools/javac/comp/Resolve.java file | annotate | diff | comparison | revisions
src/share/classes/com/sun/tools/javac/resources/compiler.properties file | annotate | diff | comparison | revisions
test/tools/javac/6840059/T6840059.out file | annotate | diff | comparison | revisions
test/tools/javac/6979683/TestCast6979683_BAD34.java.errlog file | annotate | diff | comparison | revisions
test/tools/javac/6979683/TestCast6979683_BAD35.java.errlog file | annotate | diff | comparison | revisions
test/tools/javac/6979683/TestCast6979683_BAD36.java.errlog file | annotate | diff | comparison | revisions
test/tools/javac/6979683/TestCast6979683_BAD37.java.errlog file | annotate | diff | comparison | revisions
test/tools/javac/6979683/TestCast6979683_BAD38.java.errlog file | annotate | diff | comparison | revisions
test/tools/javac/6979683/TestCast6979683_BAD39.java.errlog file | annotate | diff | comparison | revisions
test/tools/javac/7132880/T7132880.out file | annotate | diff | comparison | revisions
test/tools/javac/Diagnostics/6722234/T6722234a_1.out file | annotate | diff | comparison | revisions
test/tools/javac/Diagnostics/6722234/T6722234a_2.out file | annotate | diff | comparison | revisions
test/tools/javac/Diagnostics/6722234/T6722234c.out file | annotate | diff | comparison | revisions
test/tools/javac/Diagnostics/6722234/T6722234d_1.out file | annotate | diff | comparison | revisions
test/tools/javac/Diagnostics/6722234/T6722234d_2.out file | annotate | diff | comparison | revisions
test/tools/javac/Diagnostics/6799605/T6799605.out file | annotate | diff | comparison | revisions
test/tools/javac/Diagnostics/6862608/T6862608a.out file | annotate | diff | comparison | revisions
test/tools/javac/Diagnostics/6862608/T6862608b.out file | annotate | diff | comparison | revisions
test/tools/javac/OverrideChecks/6400189/T6400189a.out file | annotate | diff | comparison | revisions
test/tools/javac/OverrideChecks/6400189/T6400189b.out file | annotate | diff | comparison | revisions
test/tools/javac/StringsInSwitch/BadlyTypedLabel1.out file | annotate | diff | comparison | revisions
test/tools/javac/StringsInSwitch/BadlyTypedLabel2.out file | annotate | diff | comparison | revisions
test/tools/javac/T6326754.out file | annotate | diff | comparison | revisions
test/tools/javac/TryWithResources/TwrOnNonResource.out file | annotate | diff | comparison | revisions
test/tools/javac/cast/6270087/T6270087neg.out file | annotate | diff | comparison | revisions
test/tools/javac/cast/6557182/T6557182.out file | annotate | diff | comparison | revisions
test/tools/javac/cast/6665356/T6665356.out file | annotate | diff | comparison | revisions
test/tools/javac/cast/6795580/T6795580.out file | annotate | diff | comparison | revisions
test/tools/javac/cast/6932571/T6932571neg.out file | annotate | diff | comparison | revisions
test/tools/javac/cast/7005095/T7005095neg.out file | annotate | diff | comparison | revisions
test/tools/javac/cast/7005671/T7005671.out file | annotate | diff | comparison | revisions
test/tools/javac/diags/examples/CantApplyDiamond1.java file | annotate | diff | comparison | revisions
test/tools/javac/diags/examples/IncompatibleTypes1.java file | annotate | diff | comparison | revisions
test/tools/javac/diags/examples/InconvertibleTypes.java file | annotate | diff | comparison | revisions
test/tools/javac/diags/examples/InferNoConformingAssignment.java file | annotate | diff | comparison | revisions
test/tools/javac/diags/examples/InferVarargsArgumentMismatch.java file | annotate | diff | comparison | revisions
test/tools/javac/diags/examples/InferredDoNotConformToLower.java file | annotate | diff | comparison | revisions
test/tools/javac/diags/examples/KindnameConstructor.java file | annotate | diff | comparison | revisions
test/tools/javac/diags/examples/NoUniqueMaximalInstance.java file | annotate | diff | comparison | revisions
test/tools/javac/diags/examples/NotApplicableMethodFound.java file | annotate | diff | comparison | revisions
test/tools/javac/diags/examples/PossibleLossPrecision.java file | annotate | diff | comparison | revisions
test/tools/javac/diags/examples/ResourceNotApplicableToType.java file | annotate | diff | comparison | revisions
test/tools/javac/diags/examples/VarargsArgumentMismatch.java file | annotate | diff | comparison | revisions
test/tools/javac/diags/examples/VerboseResolveMulti1.java file | annotate | diff | comparison | revisions
test/tools/javac/diags/examples/WhereFreshTvar.java file | annotate | diff | comparison | revisions
test/tools/javac/diags/examples/WhereIntersection.java file | annotate | diff | comparison | revisions
test/tools/javac/diags/examples/WhereTypeVar.java file | annotate | diff | comparison | revisions
test/tools/javac/generics/6207386/T6207386.out file | annotate | diff | comparison | revisions
test/tools/javac/generics/diamond/neg/Neg05.out file | annotate | diff | comparison | revisions
test/tools/javac/generics/diamond/neg/Neg06.out file | annotate | diff | comparison | revisions
test/tools/javac/generics/diamond/neg/Neg10.out file | annotate | diff | comparison | revisions
test/tools/javac/generics/inference/6315770/T6315770.out file | annotate | diff | comparison | revisions
test/tools/javac/generics/inference/6611449/T6611449.out file | annotate | diff | comparison | revisions
test/tools/javac/generics/inference/6638712/T6638712a.out file | annotate | diff | comparison | revisions
test/tools/javac/generics/inference/6638712/T6638712b.out file | annotate | diff | comparison | revisions
test/tools/javac/generics/inference/6638712/T6638712c.out file | annotate | diff | comparison | revisions
test/tools/javac/generics/inference/6638712/T6638712e.out file | annotate | diff | comparison | revisions
test/tools/javac/generics/inference/6650759/T6650759m.out file | annotate | diff | comparison | revisions
test/tools/javac/generics/inference/6838943/T6838943.out file | annotate | diff | comparison | revisions
test/tools/javac/generics/inference/7086586/T7086586.out file | annotate | diff | comparison | revisions
test/tools/javac/generics/inference/7154127/T7154127.out file | annotate | diff | comparison | revisions
test/tools/javac/generics/rawOverride/7062745/T7062745neg.out file | annotate | diff | comparison | revisions
test/tools/javac/generics/wildcards/6886247/T6886247_2.out file | annotate | diff | comparison | revisions
test/tools/javac/multicatch/Neg06.out file | annotate | diff | comparison | revisions
test/tools/javac/multicatch/Neg07.out file | annotate | diff | comparison | revisions
test/tools/javac/types/CastObjectToPrimitiveTest.out file | annotate | diff | comparison | revisions
test/tools/javac/varargs/6313164/T6313164.out file | annotate | diff | comparison | revisions
test/tools/javac/varargs/7097436/T7097436.out file | annotate | diff | comparison | revisions
     1.1 --- a/src/share/classes/com/sun/tools/javac/comp/Attr.java	Thu Jul 26 16:48:41 2012 -0700
     1.2 +++ b/src/share/classes/com/sun/tools/javac/comp/Attr.java	Thu Aug 02 18:22:41 2012 +0100
     1.3 @@ -1131,8 +1131,8 @@
     1.4          for (JCTree resource : tree.resources) {
     1.5              CheckContext twrContext = new Check.NestedCheckContext(resultInfo.checkContext) {
     1.6                  @Override
     1.7 -                public void report(DiagnosticPosition pos, Type found, Type req, JCDiagnostic details) {
     1.8 -                    chk.basicHandler.report(pos, found, req, diags.fragment("try.not.applicable.to.type", found));
     1.9 +                public void report(DiagnosticPosition pos, JCDiagnostic details) {
    1.10 +                    chk.basicHandler.report(pos, diags.fragment("try.not.applicable.to.type", details));
    1.11                  }
    1.12              };
    1.13              ResultInfo twrResult = new ResultInfo(VAL, syms.autoCloseableType, twrContext);
    1.14 @@ -1865,7 +1865,7 @@
    1.15  
    1.16      Type attribDiamond(Env<AttrContext> env,
    1.17                          final JCNewClass tree,
    1.18 -                        Type clazztype,
    1.19 +                        final Type clazztype,
    1.20                          List<Type> argtypes,
    1.21                          List<Type> typeargtypes) {
    1.22          if (clazztype.isErroneous() ||
    1.23 @@ -1892,27 +1892,26 @@
    1.24                      argtypes,
    1.25                      typeargtypes);
    1.26  
    1.27 +        Type owntype = types.createErrorType(clazztype);
    1.28          if (constructor.kind == MTH) {
    1.29 -            try {
    1.30 -                clazztype = rawCheckMethod(site,
    1.31 -                        constructor,
    1.32 -                        resultInfo,
    1.33 -                        localEnv,
    1.34 -                        tree.args,
    1.35 -                        argtypes,
    1.36 -                        typeargtypes,
    1.37 -                        localEnv.info.varArgs).getReturnType();
    1.38 -            } catch (Resolve.InapplicableMethodException ex) {
    1.39 -                //an error occurred while inferring uninstantiated type-variables
    1.40 -                resultInfo.checkContext.report(tree.clazz.pos(), clazztype, resultInfo.pt,
    1.41 -                        diags.fragment("cant.apply.diamond.1", diags.fragment("diamond", clazztype.tsym), ex.diagnostic));
    1.42 -                clazztype = syms.errType;
    1.43 -            }
    1.44 -        } else {
    1.45 -            clazztype = syms.errType;
    1.46 +            ResultInfo diamondResult = new ResultInfo(VAL, resultInfo.pt, new Check.NestedCheckContext(resultInfo.checkContext) {
    1.47 +                @Override
    1.48 +                public void report(DiagnosticPosition pos, JCDiagnostic details) {
    1.49 +                    enclosingContext.report(tree.clazz.pos(),
    1.50 +                            diags.fragment("cant.apply.diamond.1", diags.fragment("diamond", clazztype.tsym), details));
    1.51 +                }
    1.52 +            });
    1.53 +            owntype = checkMethod(site,
    1.54 +                    constructor,
    1.55 +                    diamondResult,
    1.56 +                    localEnv,
    1.57 +                    tree.args,
    1.58 +                    argtypes,
    1.59 +                    typeargtypes,
    1.60 +                    localEnv.info.varArgs).getReturnType();
    1.61          }
    1.62  
    1.63 -        return chk.checkClassType(tree.clazz.pos(), clazztype, true);
    1.64 +        return chk.checkClassType(tree.clazz.pos(), owntype, true);
    1.65      }
    1.66  
    1.67      /** Make an attributed null check tree.
    1.68 @@ -2687,32 +2686,6 @@
    1.69                              List<Type> argtypes,
    1.70                              List<Type> typeargtypes,
    1.71                              boolean useVarargs) {
    1.72 -        try {
    1.73 -            return rawCheckMethod(site, sym, resultInfo, env, argtrees, argtypes, typeargtypes, useVarargs);
    1.74 -        } catch (Resolve.InapplicableMethodException ex) {
    1.75 -            String key = ex.getDiagnostic() == null ?
    1.76 -                    "cant.apply.symbol" :
    1.77 -                    "cant.apply.symbol.1";
    1.78 -            log.error(env.tree.pos, key,
    1.79 -                      Kinds.kindName(sym),
    1.80 -                      sym.name == names.init ? sym.owner.name : sym.name,
    1.81 -                      rs.methodArguments(sym.type.getParameterTypes()),
    1.82 -                      rs.methodArguments(argtypes),
    1.83 -                      Kinds.kindName(sym.owner),
    1.84 -                      sym.owner.type,
    1.85 -                      ex.getDiagnostic());
    1.86 -            return types.createErrorType(site);
    1.87 -        }
    1.88 -    }
    1.89 -
    1.90 -    private Type rawCheckMethod(Type site,
    1.91 -                            Symbol sym,
    1.92 -                            ResultInfo resultInfo,
    1.93 -                            Env<AttrContext> env,
    1.94 -                            final List<JCExpression> argtrees,
    1.95 -                            List<Type> argtypes,
    1.96 -                            List<Type> typeargtypes,
    1.97 -                            boolean useVarargs) {
    1.98          // Test (5): if symbol is an instance method of a raw type, issue
    1.99          // an unchecked warning if its argument types change under erasure.
   1.100          if (allowGenerics &&
   1.101 @@ -2733,19 +2706,29 @@
   1.102          // Resolve.instantiate from the symbol's type as well as
   1.103          // any type arguments and value arguments.
   1.104          noteWarner.clear();
   1.105 -        Type owntype = rs.rawInstantiate(env,
   1.106 -                                          site,
   1.107 -                                          sym,
   1.108 -                                          resultInfo,
   1.109 -                                          argtypes,
   1.110 -                                          typeargtypes,
   1.111 -                                          true,
   1.112 -                                          useVarargs,
   1.113 -                                          noteWarner);
   1.114 -
   1.115 -        boolean unchecked = noteWarner.hasNonSilentLint(LintCategory.UNCHECKED);
   1.116 -
   1.117 -        return chk.checkMethod(owntype, sym, env, argtrees, argtypes, useVarargs, unchecked);
   1.118 +        try {
   1.119 +            Type owntype = rs.rawInstantiate(
   1.120 +                    env,
   1.121 +                    site,
   1.122 +                    sym,
   1.123 +                    resultInfo,
   1.124 +                    argtypes,
   1.125 +                    typeargtypes,
   1.126 +                    allowBoxing,
   1.127 +                    useVarargs,
   1.128 +                    noteWarner);
   1.129 +
   1.130 +            return chk.checkMethod(owntype, sym, env, argtrees, argtypes, useVarargs,
   1.131 +                    noteWarner.hasNonSilentLint(LintCategory.UNCHECKED));
   1.132 +        } catch (Infer.InferenceException ex) {
   1.133 +            //invalid target type - propagate exception outwards or report error
   1.134 +            //depending on the current check context
   1.135 +            resultInfo.checkContext.report(env.tree.pos(), ex.getDiagnostic());
   1.136 +            return types.createErrorType(site);
   1.137 +        } catch (Resolve.InapplicableMethodException ex) {
   1.138 +            Assert.error();
   1.139 +            return null;
   1.140 +        }
   1.141      }
   1.142  
   1.143      /**
     2.1 --- a/src/share/classes/com/sun/tools/javac/comp/Check.java	Thu Jul 26 16:48:41 2012 -0700
     2.2 +++ b/src/share/classes/com/sun/tools/javac/comp/Check.java	Thu Aug 02 18:22:41 2012 +0100
     2.3 @@ -426,7 +426,7 @@
     2.4          /**
     2.5           * Report a check error
     2.6           */
     2.7 -        void report(DiagnosticPosition pos, Type found, Type req, JCDiagnostic details);
     2.8 +        void report(DiagnosticPosition pos, JCDiagnostic details);
     2.9          /**
    2.10           * Obtain a warner for this check context
    2.11           */
    2.12 @@ -450,8 +450,8 @@
    2.13              return enclosingContext.compatible(found, req, warn);
    2.14          }
    2.15  
    2.16 -        public void report(DiagnosticPosition pos, Type found, Type req, JCDiagnostic details) {
    2.17 -            enclosingContext.report(pos, found, req, details);
    2.18 +        public void report(DiagnosticPosition pos, JCDiagnostic details) {
    2.19 +            enclosingContext.report(pos, details);
    2.20          }
    2.21  
    2.22          public Warner checkWarner(DiagnosticPosition pos, Type found, Type req) {
    2.23 @@ -463,12 +463,8 @@
    2.24       * Check context to be used when evaluating assignment/return statements
    2.25       */
    2.26      CheckContext basicHandler = new CheckContext() {
    2.27 -        public void report(DiagnosticPosition pos, Type found, Type req, JCDiagnostic details) {
    2.28 -            if (details == null) {
    2.29 -                log.error(pos, "prob.found.req", found, req);
    2.30 -            } else {
    2.31 -                log.error(pos, "prob.found.req.1", details);
    2.32 -            }
    2.33 +        public void report(DiagnosticPosition pos, JCDiagnostic details) {
    2.34 +            log.error(pos, "prob.found.req", details);
    2.35          }
    2.36          public boolean compatible(Type found, Type req, Warner warn) {
    2.37              return types.isAssignable(found, req, warn);
    2.38 @@ -498,10 +494,10 @@
    2.39              return found;
    2.40          } else {
    2.41              if (found.tag <= DOUBLE && req.tag <= DOUBLE) {
    2.42 -                checkContext.report(pos, found, req, diags.fragment("possible.loss.of.precision"));
    2.43 +                checkContext.report(pos, diags.fragment("possible.loss.of.precision", found, req));
    2.44                  return types.createErrorType(found);
    2.45              }
    2.46 -            checkContext.report(pos, found, req, null);
    2.47 +            checkContext.report(pos, diags.fragment("inconvertible.types", found, req));
    2.48              return types.createErrorType(found);
    2.49          }
    2.50      }
    2.51 @@ -519,7 +515,7 @@
    2.52          if (types.isCastable(found, req, castWarner(pos, found, req))) {
    2.53              return req;
    2.54          } else {
    2.55 -            checkContext.report(pos, found, req, diags.fragment("inconvertible.types", found, req));
    2.56 +            checkContext.report(pos, diags.fragment("inconvertible.types", found, req));
    2.57              return types.createErrorType(found);
    2.58          }
    2.59      }
     3.1 --- a/src/share/classes/com/sun/tools/javac/comp/Infer.java	Thu Jul 26 16:48:41 2012 -0700
     3.2 +++ b/src/share/classes/com/sun/tools/javac/comp/Infer.java	Thu Aug 02 18:22:41 2012 +0100
     3.3 @@ -382,14 +382,14 @@
     3.4              }
     3.5  
     3.6              public InapplicableMethodException arityMismatch() {
     3.7 -                return unambiguousNoInstanceException.setMessage("infer.arg.length.mismatch");
     3.8 +                return unambiguousNoInstanceException.setMessage("infer.arg.length.mismatch", inferenceVars(undetvars));
     3.9              }
    3.10 -            public InapplicableMethodException argumentMismatch(boolean varargs, Type found, Type expected) {
    3.11 +            public InapplicableMethodException argumentMismatch(boolean varargs, JCDiagnostic details) {
    3.12                  String key = varargs ?
    3.13 -                    "infer.varargs.argument.mismatch" :
    3.14 -                    "infer.no.conforming.assignment.exists";
    3.15 +                        "infer.varargs.argument.mismatch" :
    3.16 +                        "infer.no.conforming.assignment.exists";
    3.17                  return unambiguousNoInstanceException.setMessage(key,
    3.18 -                        inferenceVars(undetvars), found, expected);
    3.19 +                        inferenceVars(undetvars), details);
    3.20              }
    3.21              public InapplicableMethodException inaccessibleVarargs(Symbol location, Type expected) {
    3.22                  return unambiguousNoInstanceException.setMessage("inaccessible.varargs.type",
     4.1 --- a/src/share/classes/com/sun/tools/javac/comp/Resolve.java	Thu Jul 26 16:48:41 2012 -0700
     4.2 +++ b/src/share/classes/com/sun/tools/javac/comp/Resolve.java	Thu Aug 02 18:22:41 2012 +0100
     4.3 @@ -550,7 +550,7 @@
     4.4          /* The number of actuals and formals differ */
     4.5          InapplicableMethodException arityMismatch();
     4.6          /* An actual argument type does not conform to the corresponding formal type */
     4.7 -        InapplicableMethodException argumentMismatch(boolean varargs, Type found, Type expected);
     4.8 +        InapplicableMethodException argumentMismatch(boolean varargs, JCDiagnostic details);
     4.9          /* The element type of a varargs is not accessible in the current context */
    4.10          InapplicableMethodException inaccessibleVarargs(Symbol location, Type expected);
    4.11      }
    4.12 @@ -565,12 +565,12 @@
    4.13              public InapplicableMethodException arityMismatch() {
    4.14                  return inapplicableMethodException.setMessage("arg.length.mismatch");
    4.15              }
    4.16 -            public InapplicableMethodException argumentMismatch(boolean varargs, Type found, Type expected) {
    4.17 +            public InapplicableMethodException argumentMismatch(boolean varargs, JCDiagnostic details) {
    4.18                  String key = varargs ?
    4.19                          "varargs.argument.mismatch" :
    4.20                          "no.conforming.assignment.exists";
    4.21                  return inapplicableMethodException.setMessage(key,
    4.22 -                        found, expected);
    4.23 +                        details);
    4.24              }
    4.25              public InapplicableMethodException inaccessibleVarargs(Symbol location, Type expected) {
    4.26                  return inapplicableMethodException.setMessage("inaccessible.varargs.type",
    4.27 @@ -667,12 +667,8 @@
    4.28              this.rsWarner = rsWarner;
    4.29          }
    4.30  
    4.31 -        public void report(DiagnosticPosition pos, Type found, Type req, JCDiagnostic details) {
    4.32 -            throw handler.argumentMismatch(useVarargs, found, req);
    4.33 -        }
    4.34 -
    4.35 -        public Type rawInstantiatePoly(ForAll found, Type req, Warner warn) {
    4.36 -            throw new AssertionError("ForAll in argument position");
    4.37 +        public void report(DiagnosticPosition pos, JCDiagnostic details) {
    4.38 +            throw handler.argumentMismatch(useVarargs, details);
    4.39          }
    4.40  
    4.41          public Warner checkWarner(DiagnosticPosition pos, Type found, Type req) {
     5.1 --- a/src/share/classes/com/sun/tools/javac/resources/compiler.properties	Thu Jul 26 16:48:41 2012 -0700
     5.2 +++ b/src/share/classes/com/sun/tools/javac/resources/compiler.properties	Thu Aug 02 18:22:41 2012 +0100
     5.3 @@ -1497,14 +1497,8 @@
     5.4  
     5.5  #####
     5.6  
     5.7 -# 0: type, 1: type
     5.8 +# 0: message segment
     5.9  compiler.err.prob.found.req=\
    5.10 -    incompatible types\n\
    5.11 -    required: {1}\n\
    5.12 -    found: {0}
    5.13 -
    5.14 -# 0: message segment
    5.15 -compiler.err.prob.found.req.1=\
    5.16      incompatible types: {0}
    5.17  
    5.18  # 0: message segment, 1: type, 2: type
    5.19 @@ -1517,8 +1511,9 @@
    5.20  compiler.misc.inconvertible.types=\
    5.21      {0} cannot be converted to {1}
    5.22  
    5.23 +# 0: type, 1: type
    5.24  compiler.misc.possible.loss.of.precision=\
    5.25 -    possible loss of precision
    5.26 +    possible lossy conversion from {0} to {1}
    5.27  
    5.28  compiler.misc.unchecked.assign=\
    5.29      unchecked conversion
    5.30 @@ -1537,8 +1532,8 @@
    5.31  
    5.32  # 0: type
    5.33  compiler.misc.try.not.applicable.to.type=\
    5.34 -    try-with-resources not applicable to variable type {0}\n\
    5.35 -    (expected a variable of type java.lang.AutoCloseable)
    5.36 +    try-with-resources not applicable to variable type\n\
    5.37 +    ({0})
    5.38  
    5.39  #####
    5.40  
    5.41 @@ -1589,16 +1584,20 @@
    5.42  compiler.misc.infer.no.conforming.instance.exists=\
    5.43      no instance(s) of type variable(s) {0} exist so that {1} conforms to {2}
    5.44  
    5.45 -# 0: list of type, 1: type, 2: type
    5.46 +# 0: list of type, 1: message segment
    5.47  compiler.misc.infer.no.conforming.assignment.exists=\
    5.48 -    no instance(s) of type variable(s) {0} exist so that argument type {1} conforms to formal parameter type {2}
    5.49 -
    5.50 +    cannot infer type-variable(s) {0}\n\
    5.51 +    (argument mismatch; {1})
    5.52 +
    5.53 +# 0: list of type
    5.54  compiler.misc.infer.arg.length.mismatch=\
    5.55 -    cannot instantiate from arguments because actual and formal argument lists differ in length
    5.56 -
    5.57 -# 0: list of type, 1: type, 2: type
    5.58 +    cannot infer type-variable(s) {0}\n\
    5.59 +    (actual and formal argument lists differ in length)
    5.60 +
    5.61 +# 0: list of type, 1: message segment
    5.62  compiler.misc.infer.varargs.argument.mismatch=\
    5.63 -    no instance(s) of type variable(s) {0} exist so that argument type {1} conforms to vararg element type {2}
    5.64 +    cannot infer type-variable(s) {0}\n\
    5.65 +    (varargs mismatch; {1})
    5.66  
    5.67  # 0: type, 1: list of type
    5.68  compiler.misc.inferred.do.not.conform.to.upper.bounds=\
    5.69 @@ -1637,13 +1636,13 @@
    5.70  compiler.misc.arg.length.mismatch=\
    5.71      actual and formal argument lists differ in length
    5.72  
    5.73 -# 0: type, 1: type
    5.74 +# 0: message segment
    5.75  compiler.misc.no.conforming.assignment.exists=\
    5.76 -    actual argument {0} cannot be converted to {1} by method invocation conversion
    5.77 -
    5.78 -# 0: type, 1: type
    5.79 +    argument mismatch; {0}
    5.80 +
    5.81 +# 0: message segment
    5.82  compiler.misc.varargs.argument.mismatch=\
    5.83 -    argument type {0} does not conform to vararg element type {1}
    5.84 +    varargs mismatch; {0}
    5.85  
    5.86  #####
    5.87  
     6.1 --- a/test/tools/javac/6840059/T6840059.out	Thu Jul 26 16:48:41 2012 -0700
     6.2 +++ b/test/tools/javac/6840059/T6840059.out	Thu Aug 02 18:22:41 2012 +0100
     6.3 @@ -1,3 +1,3 @@
     6.4 -T6840059.java:15:9: compiler.err.cant.apply.symbol.1: kindname.constructor, T6840059, java.lang.Integer, java.lang.String, kindname.class, T6840059, (compiler.misc.no.conforming.assignment.exists: java.lang.String, java.lang.Integer)
     6.5 +T6840059.java:15:9: compiler.err.cant.apply.symbol.1: kindname.constructor, T6840059, java.lang.Integer, java.lang.String, kindname.class, T6840059, (compiler.misc.no.conforming.assignment.exists: (compiler.misc.inconvertible.types: java.lang.String, java.lang.Integer))
     6.6  T6840059.java:15:25: compiler.err.cant.apply.symbol.1: kindname.constructor, T6840059, java.lang.Integer, compiler.misc.no.args, kindname.class, T6840059, (compiler.misc.arg.length.mismatch)
     6.7  2 errors
     7.1 --- a/test/tools/javac/6979683/TestCast6979683_BAD34.java.errlog	Thu Jul 26 16:48:41 2012 -0700
     7.2 +++ b/test/tools/javac/6979683/TestCast6979683_BAD34.java.errlog	Thu Aug 02 18:22:41 2012 +0100
     7.3 @@ -1,2 +1,2 @@
     7.4 -TestCast6979683_BAD34.java:34:49: compiler.err.prob.found.req: java.lang.Number, boolean
     7.5 +TestCast6979683_BAD34.java:34:49: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: java.lang.Number, boolean)
     7.6  1 error
     8.1 --- a/test/tools/javac/6979683/TestCast6979683_BAD35.java.errlog	Thu Jul 26 16:48:41 2012 -0700
     8.2 +++ b/test/tools/javac/6979683/TestCast6979683_BAD35.java.errlog	Thu Aug 02 18:22:41 2012 +0100
     8.3 @@ -1,2 +1,2 @@
     8.4 -TestCast6979683_BAD35.java:35:45: compiler.err.prob.found.req: java.lang.Number, int
     8.5 +TestCast6979683_BAD35.java:35:45: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: java.lang.Number, int)
     8.6  1 error
     9.1 --- a/test/tools/javac/6979683/TestCast6979683_BAD36.java.errlog	Thu Jul 26 16:48:41 2012 -0700
     9.2 +++ b/test/tools/javac/6979683/TestCast6979683_BAD36.java.errlog	Thu Aug 02 18:22:41 2012 +0100
     9.3 @@ -1,2 +1,2 @@
     9.4 -TestCast6979683_BAD36.java:36:58: compiler.err.prob.found.req: java.lang.Comparable<java.lang.Integer>, int
     9.5 +TestCast6979683_BAD36.java:36:58: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: java.lang.Comparable<java.lang.Integer>, int)
     9.6  1 error
    10.1 --- a/test/tools/javac/6979683/TestCast6979683_BAD37.java.errlog	Thu Jul 26 16:48:41 2012 -0700
    10.2 +++ b/test/tools/javac/6979683/TestCast6979683_BAD37.java.errlog	Thu Aug 02 18:22:41 2012 +0100
    10.3 @@ -1,2 +1,2 @@
    10.4 -TestCast6979683_BAD37.java:37:61: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: java.lang.Comparable<java.lang.Short>, int)
    10.5 +TestCast6979683_BAD37.java:37:61: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: java.lang.Comparable<java.lang.Short>, int)
    10.6  1 error
    11.1 --- a/test/tools/javac/6979683/TestCast6979683_BAD38.java.errlog	Thu Jul 26 16:48:41 2012 -0700
    11.2 +++ b/test/tools/javac/6979683/TestCast6979683_BAD38.java.errlog	Thu Aug 02 18:22:41 2012 +0100
    11.3 @@ -1,2 +1,2 @@
    11.4 -TestCast6979683_BAD38.java:38:62: compiler.err.prob.found.req: java.lang.Comparable<java.lang.Character>, float
    11.5 +TestCast6979683_BAD38.java:38:62: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: java.lang.Comparable<java.lang.Character>, float)
    11.6  1 error
    12.1 --- a/test/tools/javac/6979683/TestCast6979683_BAD39.java.errlog	Thu Jul 26 16:48:41 2012 -0700
    12.2 +++ b/test/tools/javac/6979683/TestCast6979683_BAD39.java.errlog	Thu Aug 02 18:22:41 2012 +0100
    12.3 @@ -1,2 +1,2 @@
    12.4 -TestCast6979683_BAD39.java:39:53: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: java.lang.Number, char)
    12.5 +TestCast6979683_BAD39.java:39:53: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: java.lang.Number, char)
    12.6  1 error
    13.1 --- a/test/tools/javac/7132880/T7132880.out	Thu Jul 26 16:48:41 2012 -0700
    13.2 +++ b/test/tools/javac/7132880/T7132880.out	Thu Aug 02 18:22:41 2012 +0100
    13.3 @@ -1,4 +1,4 @@
    13.4 -T7132880.java:23:12: compiler.err.cant.apply.symbol.1: kindname.method, m1, java.lang.Integer, java.lang.String, kindname.class, Outer.Inner1, (compiler.misc.no.conforming.assignment.exists: java.lang.String, java.lang.Integer)
    13.5 -T7132880.java:33:12: compiler.err.cant.apply.symbols: kindname.method, m1, java.lang.String,{(compiler.misc.inapplicable.method: kindname.method, Outer.Inner2, m1(java.lang.Double), (compiler.misc.no.conforming.assignment.exists: java.lang.String, java.lang.Double)),(compiler.misc.inapplicable.method: kindname.method, Outer.Inner2, m1(java.lang.Integer), (compiler.misc.no.conforming.assignment.exists: java.lang.String, java.lang.Integer))}
    13.6 +T7132880.java:23:12: compiler.err.cant.apply.symbol.1: kindname.method, m1, java.lang.Integer, java.lang.String, kindname.class, Outer.Inner1, (compiler.misc.no.conforming.assignment.exists: (compiler.misc.inconvertible.types: java.lang.String, java.lang.Integer))
    13.7 +T7132880.java:33:12: compiler.err.cant.apply.symbols: kindname.method, m1, java.lang.String,{(compiler.misc.inapplicable.method: kindname.method, Outer.Inner2, m1(java.lang.Double), (compiler.misc.no.conforming.assignment.exists: (compiler.misc.inconvertible.types: java.lang.String, java.lang.Double))),(compiler.misc.inapplicable.method: kindname.method, Outer.Inner2, m1(java.lang.Integer), (compiler.misc.no.conforming.assignment.exists: (compiler.misc.inconvertible.types: java.lang.String, java.lang.Integer)))}
    13.8  T7132880.java:43:12: compiler.err.ref.ambiguous: m2, kindname.method, m2(java.lang.Object,int), Outer.Inner3, kindname.method, m2(int,java.lang.Object), Outer.Inner3
    13.9  3 errors
    14.1 --- a/test/tools/javac/Diagnostics/6722234/T6722234a_1.out	Thu Jul 26 16:48:41 2012 -0700
    14.2 +++ b/test/tools/javac/Diagnostics/6722234/T6722234a_1.out	Thu Aug 02 18:22:41 2012 +0100
    14.3 @@ -1,2 +1,2 @@
    14.4 -T6722234a.java:12:9: compiler.err.cant.apply.symbol.1: kindname.method, m, compiler.misc.type.var: T, 1, compiler.misc.type.var: T, 2, kindname.class, T6722234a<compiler.misc.type.var: T, 1>, (compiler.misc.no.conforming.assignment.exists: compiler.misc.type.var: T, 2, compiler.misc.type.var: T, 1)
    14.5 +T6722234a.java:12:9: compiler.err.cant.apply.symbol.1: kindname.method, m, compiler.misc.type.var: T, 1, compiler.misc.type.var: T, 2, kindname.class, T6722234a<compiler.misc.type.var: T, 1>, (compiler.misc.no.conforming.assignment.exists: (compiler.misc.inconvertible.types: compiler.misc.type.var: T, 2, compiler.misc.type.var: T, 1))
    14.6  1 error
    15.1 --- a/test/tools/javac/Diagnostics/6722234/T6722234a_2.out	Thu Jul 26 16:48:41 2012 -0700
    15.2 +++ b/test/tools/javac/Diagnostics/6722234/T6722234a_2.out	Thu Aug 02 18:22:41 2012 +0100
    15.3 @@ -1,3 +1,3 @@
    15.4 -T6722234a.java:12:9: compiler.err.cant.apply.symbol.1: kindname.method, m, compiler.misc.type.var: T, 1, compiler.misc.type.var: T, 2, kindname.class, T6722234a<compiler.misc.type.var: T, 1>, (compiler.misc.no.conforming.assignment.exists: compiler.misc.type.var: T, 2, compiler.misc.type.var: T, 1)
    15.5 +T6722234a.java:12:9: compiler.err.cant.apply.symbol.1: kindname.method, m, compiler.misc.type.var: T, 1, compiler.misc.type.var: T, 2, kindname.class, T6722234a<compiler.misc.type.var: T, 1>, (compiler.misc.no.conforming.assignment.exists: (compiler.misc.inconvertible.types: compiler.misc.type.var: T, 2, compiler.misc.type.var: T, 1))
    15.6  - compiler.misc.where.description.typevar.1: compiler.misc.type.var: T, 1,compiler.misc.type.var: T, 2,{(compiler.misc.where.typevar: compiler.misc.type.var: T, 1, java.lang.String, kindname.class, T6722234a),(compiler.misc.where.typevar: compiler.misc.type.var: T, 2, java.lang.Integer, kindname.method, <compiler.misc.type.var: T, 2>test(compiler.misc.type.var: T, 2))}
    15.7  1 error
    16.1 --- a/test/tools/javac/Diagnostics/6722234/T6722234c.out	Thu Jul 26 16:48:41 2012 -0700
    16.2 +++ b/test/tools/javac/Diagnostics/6722234/T6722234c.out	Thu Aug 02 18:22:41 2012 +0100
    16.3 @@ -1,2 +1,2 @@
    16.4 -T6722234c.java:14:9: compiler.err.cant.apply.symbol.1: kindname.method, m, T6722234c.String, java.lang.String, kindname.class, T6722234c, (compiler.misc.infer.no.conforming.assignment.exists: T, java.lang.String, T6722234c.String)
    16.5 +T6722234c.java:14:9: compiler.err.cant.apply.symbol.1: kindname.method, m, T6722234c.String, java.lang.String, kindname.class, T6722234c, (compiler.misc.infer.no.conforming.assignment.exists: T, (compiler.misc.inconvertible.types: java.lang.String, T6722234c.String))
    16.6  1 error
    17.1 --- a/test/tools/javac/Diagnostics/6722234/T6722234d_1.out	Thu Jul 26 16:48:41 2012 -0700
    17.2 +++ b/test/tools/javac/Diagnostics/6722234/T6722234d_1.out	Thu Aug 02 18:22:41 2012 +0100
    17.3 @@ -1,3 +1,3 @@
    17.4 -T6722234d.java:18:20: compiler.err.prob.found.req: compiler.misc.intersection.type: 1, T6722234d.A
    17.5 +T6722234d.java:18:20: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: compiler.misc.intersection.type: 1, T6722234d.A)
    17.6  - compiler.misc.where.description.intersection: compiler.misc.intersection.type: 1,{(compiler.misc.where.intersection: compiler.misc.intersection.type: 1, java.lang.Object,T6722234d.I1,T6722234d.I2)}
    17.7  1 error
    18.1 --- a/test/tools/javac/Diagnostics/6722234/T6722234d_2.out	Thu Jul 26 16:48:41 2012 -0700
    18.2 +++ b/test/tools/javac/Diagnostics/6722234/T6722234d_2.out	Thu Aug 02 18:22:41 2012 +0100
    18.3 @@ -1,3 +1,3 @@
    18.4 -T6722234d.java:18:20: compiler.err.prob.found.req: compiler.misc.intersection.type: 1, T6722234d.A
    18.5 +T6722234d.java:18:20: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: compiler.misc.intersection.type: 1, T6722234d.A)
    18.6  - compiler.misc.where.description.intersection: compiler.misc.intersection.type: 1,{(compiler.misc.where.intersection: compiler.misc.intersection.type: 1, Object,I1,I2)}
    18.7  1 error
    19.1 --- a/test/tools/javac/Diagnostics/6799605/T6799605.out	Thu Jul 26 16:48:41 2012 -0700
    19.2 +++ b/test/tools/javac/Diagnostics/6799605/T6799605.out	Thu Aug 02 18:22:41 2012 +0100
    19.3 @@ -1,4 +1,4 @@
    19.4 -T6799605.java:17:9: compiler.err.cant.apply.symbols: kindname.method, m, T6799605<compiler.misc.type.captureof: 1, ?>,{(compiler.misc.inapplicable.method: kindname.method, T6799605, <T>m(T6799605<T>,T6799605<T>,T6799605<T>), (compiler.misc.infer.arg.length.mismatch)),(compiler.misc.inapplicable.method: kindname.method, T6799605, <T>m(T6799605<T>,T6799605<T>), (compiler.misc.infer.arg.length.mismatch)),(compiler.misc.inapplicable.method: kindname.method, T6799605, <T>m(T6799605<T>), (compiler.misc.inferred.do.not.conform.to.upper.bounds: compiler.misc.type.captureof: 1, ?, T6799605<compiler.misc.type.captureof: 1, ?>))}
    19.5 -T6799605.java:18:9: compiler.err.cant.apply.symbols: kindname.method, m, T6799605<compiler.misc.type.captureof: 1, ?>,T6799605<compiler.misc.type.captureof: 2, ?>,{(compiler.misc.inapplicable.method: kindname.method, T6799605, <T>m(T6799605<T>,T6799605<T>,T6799605<T>), (compiler.misc.infer.arg.length.mismatch)),(compiler.misc.inapplicable.method: kindname.method, T6799605, <T>m(T6799605<T>,T6799605<T>), (compiler.misc.inferred.do.not.conform.to.eq.bounds: compiler.misc.type.captureof: 2, ?, compiler.misc.type.captureof: 2, ?,compiler.misc.type.captureof: 1, ?)),(compiler.misc.inapplicable.method: kindname.method, T6799605, <T>m(T6799605<T>), (compiler.misc.infer.arg.length.mismatch))}
    19.6 -T6799605.java:19:9: compiler.err.cant.apply.symbols: kindname.method, m, T6799605<compiler.misc.type.captureof: 1, ?>,T6799605<compiler.misc.type.captureof: 2, ?>,T6799605<compiler.misc.type.captureof: 3, ?>,{(compiler.misc.inapplicable.method: kindname.method, T6799605, <T>m(T6799605<T>,T6799605<T>,T6799605<T>), (compiler.misc.inferred.do.not.conform.to.eq.bounds: compiler.misc.type.captureof: 3, ?, compiler.misc.type.captureof: 3, ?,compiler.misc.type.captureof: 2, ?,compiler.misc.type.captureof: 1, ?)),(compiler.misc.inapplicable.method: kindname.method, T6799605, <T>m(T6799605<T>,T6799605<T>), (compiler.misc.infer.arg.length.mismatch)),(compiler.misc.inapplicable.method: kindname.method, T6799605, <T>m(T6799605<T>), (compiler.misc.infer.arg.length.mismatch))}
    19.7 +T6799605.java:17:9: compiler.err.cant.apply.symbols: kindname.method, m, T6799605<compiler.misc.type.captureof: 1, ?>,{(compiler.misc.inapplicable.method: kindname.method, T6799605, <T>m(T6799605<T>,T6799605<T>,T6799605<T>), (compiler.misc.infer.arg.length.mismatch: T)),(compiler.misc.inapplicable.method: kindname.method, T6799605, <T>m(T6799605<T>,T6799605<T>), (compiler.misc.infer.arg.length.mismatch: T)),(compiler.misc.inapplicable.method: kindname.method, T6799605, <T>m(T6799605<T>), (compiler.misc.inferred.do.not.conform.to.upper.bounds: compiler.misc.type.captureof: 1, ?, T6799605<compiler.misc.type.captureof: 1, ?>))}
    19.8 +T6799605.java:18:9: compiler.err.cant.apply.symbols: kindname.method, m, T6799605<compiler.misc.type.captureof: 1, ?>,T6799605<compiler.misc.type.captureof: 2, ?>,{(compiler.misc.inapplicable.method: kindname.method, T6799605, <T>m(T6799605<T>,T6799605<T>,T6799605<T>), (compiler.misc.infer.arg.length.mismatch: T)),(compiler.misc.inapplicable.method: kindname.method, T6799605, <T>m(T6799605<T>,T6799605<T>), (compiler.misc.inferred.do.not.conform.to.eq.bounds: compiler.misc.type.captureof: 2, ?, compiler.misc.type.captureof: 2, ?,compiler.misc.type.captureof: 1, ?)),(compiler.misc.inapplicable.method: kindname.method, T6799605, <T>m(T6799605<T>), (compiler.misc.infer.arg.length.mismatch: T))}
    19.9 +T6799605.java:19:9: compiler.err.cant.apply.symbols: kindname.method, m, T6799605<compiler.misc.type.captureof: 1, ?>,T6799605<compiler.misc.type.captureof: 2, ?>,T6799605<compiler.misc.type.captureof: 3, ?>,{(compiler.misc.inapplicable.method: kindname.method, T6799605, <T>m(T6799605<T>,T6799605<T>,T6799605<T>), (compiler.misc.inferred.do.not.conform.to.eq.bounds: compiler.misc.type.captureof: 3, ?, compiler.misc.type.captureof: 3, ?,compiler.misc.type.captureof: 2, ?,compiler.misc.type.captureof: 1, ?)),(compiler.misc.inapplicable.method: kindname.method, T6799605, <T>m(T6799605<T>,T6799605<T>), (compiler.misc.infer.arg.length.mismatch: T)),(compiler.misc.inapplicable.method: kindname.method, T6799605, <T>m(T6799605<T>), (compiler.misc.infer.arg.length.mismatch: T))}
   19.10  3 errors
    20.1 --- a/test/tools/javac/Diagnostics/6862608/T6862608a.out	Thu Jul 26 16:48:41 2012 -0700
    20.2 +++ b/test/tools/javac/Diagnostics/6862608/T6862608a.out	Thu Aug 02 18:22:41 2012 +0100
    20.3 @@ -1,3 +1,3 @@
    20.4 -T6862608a.java:19:33: compiler.err.cant.apply.symbol.1: kindname.method, compound, java.lang.Iterable<? extends java.util.Comparator<? super T>>, java.util.List<java.util.Comparator<?>>, kindname.class, T6862608a, (compiler.misc.infer.no.conforming.assignment.exists: T, java.util.List<java.util.Comparator<?>>, java.lang.Iterable<? extends java.util.Comparator<? super T>>)
    20.5 +T6862608a.java:19:33: compiler.err.cant.apply.symbol.1: kindname.method, compound, java.lang.Iterable<? extends java.util.Comparator<? super T>>, java.util.List<java.util.Comparator<?>>, kindname.class, T6862608a, (compiler.misc.infer.no.conforming.assignment.exists: T, (compiler.misc.inconvertible.types: java.util.List<java.util.Comparator<?>>, java.lang.Iterable<? extends java.util.Comparator<? super T>>))
    20.6  - compiler.misc.where.description.typevar: T,{(compiler.misc.where.typevar: T, java.lang.Object, kindname.method, <T>compound(java.lang.Iterable<? extends java.util.Comparator<? super T>>))}
    20.7  1 error
    21.1 --- a/test/tools/javac/Diagnostics/6862608/T6862608b.out	Thu Jul 26 16:48:41 2012 -0700
    21.2 +++ b/test/tools/javac/Diagnostics/6862608/T6862608b.out	Thu Aug 02 18:22:41 2012 +0100
    21.3 @@ -1,3 +1,3 @@
    21.4 -T6862608b.java:11:7: compiler.err.cant.apply.symbol.1: kindname.method, test, compiler.misc.type.var: T, 1, compiler.misc.type.var: T, 2, kindname.class, T66862608b<compiler.misc.type.var: T, 1,compiler.misc.type.var: S, 2>, (compiler.misc.no.conforming.assignment.exists: compiler.misc.type.var: T, 2, compiler.misc.type.var: T, 1)
    21.5 +T6862608b.java:11:7: compiler.err.cant.apply.symbol.1: kindname.method, test, compiler.misc.type.var: T, 1, compiler.misc.type.var: T, 2, kindname.class, T66862608b<compiler.misc.type.var: T, 1,compiler.misc.type.var: S, 2>, (compiler.misc.no.conforming.assignment.exists: (compiler.misc.inconvertible.types: compiler.misc.type.var: T, 2, compiler.misc.type.var: T, 1))
    21.6  - compiler.misc.where.description.typevar.1: compiler.misc.type.var: T, 1,compiler.misc.type.var: T, 2,compiler.misc.type.var: S, 1,compiler.misc.type.var: S, 2,{(compiler.misc.where.typevar: compiler.misc.type.var: T, 1, java.lang.String, kindname.class, T66862608b),(compiler.misc.where.typevar: compiler.misc.type.var: T, 2, compiler.misc.type.var: S, 1, kindname.method, <compiler.misc.type.var: S, 1,compiler.misc.type.var: T, 2>foo(compiler.misc.type.var: T, 2)),(compiler.misc.where.typevar: compiler.misc.type.var: S, 1, java.lang.Object, kindname.method, <compiler.misc.type.var: S, 1,compiler.misc.type.var: T, 2>foo(compiler.misc.type.var: T, 2)),(compiler.misc.where.typevar: compiler.misc.type.var: S, 2, java.lang.Object, kindname.class, T66862608b)}
    21.7  1 error
    22.1 --- a/test/tools/javac/OverrideChecks/6400189/T6400189a.out	Thu Jul 26 16:48:41 2012 -0700
    22.2 +++ b/test/tools/javac/OverrideChecks/6400189/T6400189a.out	Thu Aug 02 18:22:41 2012 +0100
    22.3 @@ -1,4 +1,4 @@
    22.4  T6400189a.java:14:35: compiler.warn.unchecked.call.mbr.of.raw.type: <T>getAnnotation(java.lang.Class<T>), java.lang.reflect.Constructor
    22.5 -T6400189a.java:14:35: compiler.err.prob.found.req: java.lang.annotation.Annotation, java.lang.annotation.Documented
    22.6 +T6400189a.java:14:35: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: java.lang.annotation.Annotation, java.lang.annotation.Documented)
    22.7  1 error
    22.8  1 warning
    23.1 --- a/test/tools/javac/OverrideChecks/6400189/T6400189b.out	Thu Jul 26 16:48:41 2012 -0700
    23.2 +++ b/test/tools/javac/OverrideChecks/6400189/T6400189b.out	Thu Aug 02 18:22:41 2012 +0100
    23.3 @@ -1,4 +1,4 @@
    23.4  T6400189b.java:24:24: compiler.warn.unchecked.call.mbr.of.raw.type: <T>m(T6400189b<T>), T6400189b.B
    23.5 -T6400189b.java:24:24: compiler.err.prob.found.req: java.lang.Object, java.lang.Integer
    23.6 +T6400189b.java:24:24: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: java.lang.Object, java.lang.Integer)
    23.7  1 error
    23.8  1 warning
    24.1 --- a/test/tools/javac/StringsInSwitch/BadlyTypedLabel1.out	Thu Jul 26 16:48:41 2012 -0700
    24.2 +++ b/test/tools/javac/StringsInSwitch/BadlyTypedLabel1.out	Thu Aug 02 18:22:41 2012 +0100
    24.3 @@ -1,2 +1,2 @@
    24.4 -BadlyTypedLabel1.java:13:14: compiler.err.prob.found.req: int, java.lang.String
    24.5 +BadlyTypedLabel1.java:13:14: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: int, java.lang.String)
    24.6  1 error
    25.1 --- a/test/tools/javac/StringsInSwitch/BadlyTypedLabel2.out	Thu Jul 26 16:48:41 2012 -0700
    25.2 +++ b/test/tools/javac/StringsInSwitch/BadlyTypedLabel2.out	Thu Aug 02 18:22:41 2012 +0100
    25.3 @@ -1,2 +1,2 @@
    25.4 -BadlyTypedLabel2.java:15:14: compiler.err.prob.found.req: java.math.RoundingMode, java.lang.String
    25.5 +BadlyTypedLabel2.java:15:14: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: java.math.RoundingMode, java.lang.String)
    25.6  1 error
    26.1 --- a/test/tools/javac/T6326754.out	Thu Jul 26 16:48:41 2012 -0700
    26.2 +++ b/test/tools/javac/T6326754.out	Thu Aug 02 18:22:41 2012 +0100
    26.3 @@ -1,6 +1,6 @@
    26.4  T6326754.java:44:12: compiler.err.name.clash.same.erasure: TestConstructor(T), TestConstructor(K)
    26.5  T6326754.java:52:17: compiler.err.name.clash.same.erasure: setT(K), setT(T)
    26.6 -T6326754.java:64:18: compiler.err.prob.found.req: T, T
    26.7 +T6326754.java:64:18: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: T, T)
    26.8  T6326754.java:70:11: compiler.err.cant.apply.symbol.1: kindname.method, setT, java.lang.Object, compiler.misc.no.args, kindname.class, TestC<T>, (compiler.misc.arg.length.mismatch)
    26.9  - compiler.note.unchecked.filename: T6326754.java
   26.10  - compiler.note.unchecked.recompile
    27.1 --- a/test/tools/javac/TryWithResources/TwrOnNonResource.out	Thu Jul 26 16:48:41 2012 -0700
    27.2 +++ b/test/tools/javac/TryWithResources/TwrOnNonResource.out	Thu Aug 02 18:22:41 2012 +0100
    27.3 @@ -1,4 +1,4 @@
    27.4 -TwrOnNonResource.java:12:30: compiler.err.prob.found.req.1: (compiler.misc.try.not.applicable.to.type: TwrOnNonResource)
    27.5 -TwrOnNonResource.java:15:30: compiler.err.prob.found.req.1: (compiler.misc.try.not.applicable.to.type: TwrOnNonResource)
    27.6 -TwrOnNonResource.java:18:30: compiler.err.prob.found.req.1: (compiler.misc.try.not.applicable.to.type: TwrOnNonResource)
    27.7 +TwrOnNonResource.java:12:30: compiler.err.prob.found.req: (compiler.misc.try.not.applicable.to.type: (compiler.misc.inconvertible.types: TwrOnNonResource, java.lang.AutoCloseable))
    27.8 +TwrOnNonResource.java:15:30: compiler.err.prob.found.req: (compiler.misc.try.not.applicable.to.type: (compiler.misc.inconvertible.types: TwrOnNonResource, java.lang.AutoCloseable))
    27.9 +TwrOnNonResource.java:18:30: compiler.err.prob.found.req: (compiler.misc.try.not.applicable.to.type: (compiler.misc.inconvertible.types: TwrOnNonResource, java.lang.AutoCloseable))
   27.10  3 errors
    28.1 --- a/test/tools/javac/cast/6270087/T6270087neg.out	Thu Jul 26 16:48:41 2012 -0700
    28.2 +++ b/test/tools/javac/cast/6270087/T6270087neg.out	Thu Aug 02 18:22:41 2012 +0100
    28.3 @@ -1,2 +1,2 @@
    28.4 -T6270087neg.java:36:29: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: T6270087neg.Foo<V>, T6270087neg.Foo<U>)
    28.5 +T6270087neg.java:36:29: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: T6270087neg.Foo<V>, T6270087neg.Foo<U>)
    28.6  1 error
    29.1 --- a/test/tools/javac/cast/6557182/T6557182.out	Thu Jul 26 16:48:41 2012 -0700
    29.2 +++ b/test/tools/javac/cast/6557182/T6557182.out	Thu Aug 02 18:22:41 2012 +0100
    29.3 @@ -1,4 +1,4 @@
    29.4 -T6557182.java:12:56: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: T, java.lang.Comparable<java.lang.Integer>)
    29.5 +T6557182.java:12:56: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: T, java.lang.Comparable<java.lang.Integer>)
    29.6  T6557182.java:16:56: compiler.warn.prob.found.req: (compiler.misc.unchecked.cast.to.type), T, java.lang.Comparable<java.lang.Integer>
    29.7  1 error
    29.8  1 warning
    30.1 --- a/test/tools/javac/cast/6665356/T6665356.out	Thu Jul 26 16:48:41 2012 -0700
    30.2 +++ b/test/tools/javac/cast/6665356/T6665356.out	Thu Aug 02 18:22:41 2012 +0100
    30.3 @@ -1,8 +1,8 @@
    30.4 -T6665356.java:31:55: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: T6665356.Outer<java.lang.Integer>.Inner<java.lang.Long>, T6665356.Outer<? super java.lang.Number>.Inner<java.lang.Long>)
    30.5 -T6665356.java:35:58: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: T6665356.Outer<java.lang.Integer>.Inner<java.lang.Long>, T6665356.Outer<java.lang.Integer>.Inner<? super java.lang.Number>)
    30.6 -T6665356.java:39:65: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: T6665356.Outer<java.lang.Integer>.Inner<java.lang.Long>, T6665356.Outer<? super java.lang.Number>.Inner<? super java.lang.Number>)
    30.7 -T6665356.java:43:57: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: T6665356.Outer<java.lang.Integer>.Inner<java.lang.Long>, T6665356.Outer<? extends java.lang.String>.Inner<java.lang.Long>)
    30.8 -T6665356.java:47:60: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: T6665356.Outer<java.lang.Integer>.Inner<java.lang.Long>, T6665356.Outer<java.lang.Integer>.Inner<? extends java.lang.String>)
    30.9 -T6665356.java:51:55: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: T6665356.Outer<java.lang.Integer>.Inner<java.lang.Long>, T6665356.Outer<? super java.lang.String>.Inner<java.lang.Long>)
   30.10 -T6665356.java:55:58: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: T6665356.Outer<java.lang.Integer>.Inner<java.lang.Long>, T6665356.Outer<java.lang.Integer>.Inner<? super java.lang.String>)
   30.11 +T6665356.java:31:55: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: T6665356.Outer<java.lang.Integer>.Inner<java.lang.Long>, T6665356.Outer<? super java.lang.Number>.Inner<java.lang.Long>)
   30.12 +T6665356.java:35:58: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: T6665356.Outer<java.lang.Integer>.Inner<java.lang.Long>, T6665356.Outer<java.lang.Integer>.Inner<? super java.lang.Number>)
   30.13 +T6665356.java:39:65: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: T6665356.Outer<java.lang.Integer>.Inner<java.lang.Long>, T6665356.Outer<? super java.lang.Number>.Inner<? super java.lang.Number>)
   30.14 +T6665356.java:43:57: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: T6665356.Outer<java.lang.Integer>.Inner<java.lang.Long>, T6665356.Outer<? extends java.lang.String>.Inner<java.lang.Long>)
   30.15 +T6665356.java:47:60: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: T6665356.Outer<java.lang.Integer>.Inner<java.lang.Long>, T6665356.Outer<java.lang.Integer>.Inner<? extends java.lang.String>)
   30.16 +T6665356.java:51:55: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: T6665356.Outer<java.lang.Integer>.Inner<java.lang.Long>, T6665356.Outer<? super java.lang.String>.Inner<java.lang.Long>)
   30.17 +T6665356.java:55:58: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: T6665356.Outer<java.lang.Integer>.Inner<java.lang.Long>, T6665356.Outer<java.lang.Integer>.Inner<? super java.lang.String>)
   30.18  7 errors
    31.1 --- a/test/tools/javac/cast/6795580/T6795580.out	Thu Jul 26 16:48:41 2012 -0700
    31.2 +++ b/test/tools/javac/cast/6795580/T6795580.out	Thu Aug 02 18:22:41 2012 +0100
    31.3 @@ -1,8 +1,8 @@
    31.4 -T6795580.java:31:57: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: T6795580.Outer<java.lang.Integer>.Inner<java.lang.Long>[], T6795580.Outer<? super java.lang.Number>.Inner<java.lang.Long>[])
    31.5 -T6795580.java:35:60: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: T6795580.Outer<java.lang.Integer>.Inner<java.lang.Long>[], T6795580.Outer<java.lang.Integer>.Inner<? super java.lang.Number>[])
    31.6 -T6795580.java:39:67: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: T6795580.Outer<java.lang.Integer>.Inner<java.lang.Long>[], T6795580.Outer<? super java.lang.Number>.Inner<? super java.lang.Number>[])
    31.7 -T6795580.java:43:59: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: T6795580.Outer<java.lang.Integer>.Inner<java.lang.Long>[], T6795580.Outer<? extends java.lang.String>.Inner<java.lang.Long>[])
    31.8 -T6795580.java:47:62: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: T6795580.Outer<java.lang.Integer>.Inner<java.lang.Long>[], T6795580.Outer<java.lang.Integer>.Inner<? extends java.lang.String>[])
    31.9 -T6795580.java:51:57: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: T6795580.Outer<java.lang.Integer>.Inner<java.lang.Long>[], T6795580.Outer<? super java.lang.String>.Inner<java.lang.Long>[])
   31.10 -T6795580.java:55:60: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: T6795580.Outer<java.lang.Integer>.Inner<java.lang.Long>[], T6795580.Outer<java.lang.Integer>.Inner<? super java.lang.String>[])
   31.11 +T6795580.java:31:57: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: T6795580.Outer<java.lang.Integer>.Inner<java.lang.Long>[], T6795580.Outer<? super java.lang.Number>.Inner<java.lang.Long>[])
   31.12 +T6795580.java:35:60: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: T6795580.Outer<java.lang.Integer>.Inner<java.lang.Long>[], T6795580.Outer<java.lang.Integer>.Inner<? super java.lang.Number>[])
   31.13 +T6795580.java:39:67: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: T6795580.Outer<java.lang.Integer>.Inner<java.lang.Long>[], T6795580.Outer<? super java.lang.Number>.Inner<? super java.lang.Number>[])
   31.14 +T6795580.java:43:59: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: T6795580.Outer<java.lang.Integer>.Inner<java.lang.Long>[], T6795580.Outer<? extends java.lang.String>.Inner<java.lang.Long>[])
   31.15 +T6795580.java:47:62: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: T6795580.Outer<java.lang.Integer>.Inner<java.lang.Long>[], T6795580.Outer<java.lang.Integer>.Inner<? extends java.lang.String>[])
   31.16 +T6795580.java:51:57: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: T6795580.Outer<java.lang.Integer>.Inner<java.lang.Long>[], T6795580.Outer<? super java.lang.String>.Inner<java.lang.Long>[])
   31.17 +T6795580.java:55:60: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: T6795580.Outer<java.lang.Integer>.Inner<java.lang.Long>[], T6795580.Outer<java.lang.Integer>.Inner<? super java.lang.String>[])
   31.18  7 errors
    32.1 --- a/test/tools/javac/cast/6932571/T6932571neg.out	Thu Jul 26 16:48:41 2012 -0700
    32.2 +++ b/test/tools/javac/cast/6932571/T6932571neg.out	Thu Aug 02 18:22:41 2012 +0100
    32.3 @@ -1,2 +1,2 @@
    32.4 -T6932571neg.java:39:19: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: T6932571neg.S, G)
    32.5 +T6932571neg.java:39:19: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: T6932571neg.S, G)
    32.6  1 error
    33.1 --- a/test/tools/javac/cast/7005095/T7005095neg.out	Thu Jul 26 16:48:41 2012 -0700
    33.2 +++ b/test/tools/javac/cast/7005095/T7005095neg.out	Thu Aug 02 18:22:41 2012 +0100
    33.3 @@ -1,2 +1,2 @@
    33.4 -T7005095neg.java:13:25: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: T7005095pos.FooImpl, T7005095pos.Foo<T>)
    33.5 +T7005095neg.java:13:25: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: T7005095pos.FooImpl, T7005095pos.Foo<T>)
    33.6  1 error
    34.1 --- a/test/tools/javac/cast/7005671/T7005671.out	Thu Jul 26 16:48:41 2012 -0700
    34.2 +++ b/test/tools/javac/cast/7005671/T7005671.out	Thu Aug 02 18:22:41 2012 +0100
    34.3 @@ -1,17 +1,17 @@
    34.4 -T7005671.java:12:26: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: byte[], X[])
    34.5 -T7005671.java:13:26: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: short[], X[])
    34.6 -T7005671.java:14:26: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: int[], X[])
    34.7 -T7005671.java:15:26: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: long[], X[])
    34.8 -T7005671.java:16:26: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: float[], X[])
    34.9 -T7005671.java:17:26: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: double[], X[])
   34.10 -T7005671.java:18:26: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: char[], X[])
   34.11 -T7005671.java:19:26: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: boolean[], X[])
   34.12 -T7005671.java:23:29: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: X[], byte[])
   34.13 -T7005671.java:24:30: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: X[], short[])
   34.14 -T7005671.java:25:28: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: X[], int[])
   34.15 -T7005671.java:26:29: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: X[], long[])
   34.16 -T7005671.java:27:30: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: X[], float[])
   34.17 -T7005671.java:28:31: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: X[], double[])
   34.18 -T7005671.java:29:29: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: X[], char[])
   34.19 -T7005671.java:30:32: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: X[], boolean[])
   34.20 +T7005671.java:12:26: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: byte[], X[])
   34.21 +T7005671.java:13:26: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: short[], X[])
   34.22 +T7005671.java:14:26: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: int[], X[])
   34.23 +T7005671.java:15:26: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: long[], X[])
   34.24 +T7005671.java:16:26: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: float[], X[])
   34.25 +T7005671.java:17:26: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: double[], X[])
   34.26 +T7005671.java:18:26: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: char[], X[])
   34.27 +T7005671.java:19:26: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: boolean[], X[])
   34.28 +T7005671.java:23:29: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: X[], byte[])
   34.29 +T7005671.java:24:30: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: X[], short[])
   34.30 +T7005671.java:25:28: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: X[], int[])
   34.31 +T7005671.java:26:29: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: X[], long[])
   34.32 +T7005671.java:27:30: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: X[], float[])
   34.33 +T7005671.java:28:31: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: X[], double[])
   34.34 +T7005671.java:29:29: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: X[], char[])
   34.35 +T7005671.java:30:32: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: X[], boolean[])
   34.36  16 errors
    35.1 --- a/test/tools/javac/diags/examples/CantApplyDiamond1.java	Thu Jul 26 16:48:41 2012 -0700
    35.2 +++ b/test/tools/javac/diags/examples/CantApplyDiamond1.java	Thu Aug 02 18:22:41 2012 +0100
    35.3 @@ -21,7 +21,7 @@
    35.4   * questions.
    35.5   */
    35.6  
    35.7 -// key: compiler.err.prob.found.req.1
    35.8 +// key: compiler.err.prob.found.req
    35.9  // key: compiler.misc.cant.apply.diamond.1
   35.10  // key: compiler.misc.inferred.do.not.conform.to.upper.bounds
   35.11  // key: compiler.misc.diamond
    36.1 --- a/test/tools/javac/diags/examples/IncompatibleTypes1.java	Thu Jul 26 16:48:41 2012 -0700
    36.2 +++ b/test/tools/javac/diags/examples/IncompatibleTypes1.java	Thu Aug 02 18:22:41 2012 +0100
    36.3 @@ -1,5 +1,5 @@
    36.4  /*
    36.5 - * Copyright (c) 2010, Oracle and/or its affiliates. All rights reserved.
    36.6 + * Copyright (c) 2010, 2012, Oracle and/or its affiliates. All rights reserved.
    36.7   * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
    36.8   *
    36.9   * This code is free software; you can redistribute it and/or modify it
   36.10 @@ -22,7 +22,7 @@
   36.11   */
   36.12  
   36.13  // key: compiler.misc.infer.no.conforming.instance.exists
   36.14 -// key: compiler.err.cant.apply.symbol.1
   36.15 +// key: compiler.err.prob.found.req
   36.16  
   36.17  class IncompatibleTypes1<V> {
   36.18      <T> IncompatibleTypes1<Integer> m() {
    37.1 --- a/test/tools/javac/diags/examples/InconvertibleTypes.java	Thu Jul 26 16:48:41 2012 -0700
    37.2 +++ b/test/tools/javac/diags/examples/InconvertibleTypes.java	Thu Aug 02 18:22:41 2012 +0100
    37.3 @@ -22,7 +22,7 @@
    37.4   */
    37.5  
    37.6  // key: compiler.misc.inconvertible.types
    37.7 -// key: compiler.err.prob.found.req.1
    37.8 +// key: compiler.err.prob.found.req
    37.9  
   37.10  class InconvertibleTypes {
   37.11      class Outer<S> {
    38.1 --- a/test/tools/javac/diags/examples/InferNoConformingAssignment.java	Thu Jul 26 16:48:41 2012 -0700
    38.2 +++ b/test/tools/javac/diags/examples/InferNoConformingAssignment.java	Thu Aug 02 18:22:41 2012 +0100
    38.3 @@ -22,6 +22,7 @@
    38.4   */
    38.5  
    38.6  // key: compiler.err.cant.apply.symbol.1
    38.7 +// key: compiler.misc.inconvertible.types
    38.8  // key: compiler.misc.infer.no.conforming.assignment.exists
    38.9  
   38.10  import java.util.*;
    39.1 --- a/test/tools/javac/diags/examples/InferVarargsArgumentMismatch.java	Thu Jul 26 16:48:41 2012 -0700
    39.2 +++ b/test/tools/javac/diags/examples/InferVarargsArgumentMismatch.java	Thu Aug 02 18:22:41 2012 +0100
    39.3 @@ -23,6 +23,7 @@
    39.4  
    39.5  // key: compiler.err.cant.apply.symbol.1
    39.6  // key: compiler.misc.infer.varargs.argument.mismatch
    39.7 +// key: compiler.misc.inconvertible.types
    39.8  
    39.9  class InferVarargsArgumentMismatch {
   39.10      <X> void m(X x1, String... xs) {}
    40.1 --- a/test/tools/javac/diags/examples/InferredDoNotConformToLower.java	Thu Jul 26 16:48:41 2012 -0700
    40.2 +++ b/test/tools/javac/diags/examples/InferredDoNotConformToLower.java	Thu Aug 02 18:22:41 2012 +0100
    40.3 @@ -21,7 +21,7 @@
    40.4   * questions.
    40.5   */
    40.6  
    40.7 -// key: compiler.err.cant.apply.symbol.1
    40.8 +// key: compiler.err.prob.found.req
    40.9  // key: compiler.misc.inferred.do.not.conform.to.lower.bounds
   40.10  
   40.11  import java.util.*;
    41.1 --- a/test/tools/javac/diags/examples/KindnameConstructor.java	Thu Jul 26 16:48:41 2012 -0700
    41.2 +++ b/test/tools/javac/diags/examples/KindnameConstructor.java	Thu Aug 02 18:22:41 2012 +0100
    41.3 @@ -27,6 +27,7 @@
    41.4  // key: compiler.err.cant.apply.symbol.1
    41.5  // key: compiler.misc.arg.length.mismatch
    41.6  // key: compiler.misc.no.conforming.assignment.exists
    41.7 +// key: compiler.misc.inconvertible.types
    41.8  // key: compiler.misc.count.error.plural
    41.9  // key: compiler.err.error
   41.10  // run: backdoor
    42.1 --- a/test/tools/javac/diags/examples/NoUniqueMaximalInstance.java	Thu Jul 26 16:48:41 2012 -0700
    42.2 +++ b/test/tools/javac/diags/examples/NoUniqueMaximalInstance.java	Thu Aug 02 18:22:41 2012 +0100
    42.3 @@ -21,7 +21,7 @@
    42.4   * questions.
    42.5   */
    42.6  
    42.7 -// key: compiler.err.cant.apply.symbol.1
    42.8 +// key: compiler.err.prob.found.req
    42.9  // key: compiler.misc.no.unique.maximal.instance.exists
   42.10  
   42.11  class NoUniqueMaximalInstance {
    43.1 --- a/test/tools/javac/diags/examples/NotApplicableMethodFound.java	Thu Jul 26 16:48:41 2012 -0700
    43.2 +++ b/test/tools/javac/diags/examples/NotApplicableMethodFound.java	Thu Aug 02 18:22:41 2012 +0100
    43.3 @@ -25,6 +25,7 @@
    43.4  // key: compiler.note.verbose.resolve.multi.1
    43.5  // key: compiler.err.cant.apply.symbol.1
    43.6  // key: compiler.misc.no.conforming.assignment.exists
    43.7 +// key: compiler.misc.inconvertible.types
    43.8  // options: -XDverboseResolution=inapplicable,failure
    43.9  
   43.10  class NotApplicableMethodFound {
    44.1 --- a/test/tools/javac/diags/examples/PossibleLossPrecision.java	Thu Jul 26 16:48:41 2012 -0700
    44.2 +++ b/test/tools/javac/diags/examples/PossibleLossPrecision.java	Thu Aug 02 18:22:41 2012 +0100
    44.3 @@ -22,7 +22,7 @@
    44.4   */
    44.5  
    44.6  // key: compiler.misc.possible.loss.of.precision
    44.7 -// key: compiler.err.prob.found.req.1
    44.8 +// key: compiler.err.prob.found.req
    44.9  
   44.10  class PossibleLossPrecision {
   44.11      long l;
    45.1 --- a/test/tools/javac/diags/examples/ResourceNotApplicableToType.java	Thu Jul 26 16:48:41 2012 -0700
    45.2 +++ b/test/tools/javac/diags/examples/ResourceNotApplicableToType.java	Thu Aug 02 18:22:41 2012 +0100
    45.3 @@ -22,7 +22,8 @@
    45.4   */
    45.5  
    45.6  // key: compiler.misc.try.not.applicable.to.type
    45.7 -// key: compiler.err.prob.found.req.1
    45.8 +// key: compiler.err.prob.found.req
    45.9 +// key: compiler.misc.inconvertible.types
   45.10  
   45.11  class ResourceNotApplicableToType {
   45.12      void m() {
    46.1 --- a/test/tools/javac/diags/examples/VarargsArgumentMismatch.java	Thu Jul 26 16:48:41 2012 -0700
    46.2 +++ b/test/tools/javac/diags/examples/VarargsArgumentMismatch.java	Thu Aug 02 18:22:41 2012 +0100
    46.3 @@ -23,6 +23,7 @@
    46.4  
    46.5  // key: compiler.err.cant.apply.symbol.1
    46.6  // key: compiler.misc.varargs.argument.mismatch
    46.7 +// key: compiler.misc.inconvertible.types
    46.8  
    46.9  class VarargsArgumentMismatch {
   46.10      void m(String s, Integer... is) {}
    47.1 --- a/test/tools/javac/diags/examples/VerboseResolveMulti1.java	Thu Jul 26 16:48:41 2012 -0700
    47.2 +++ b/test/tools/javac/diags/examples/VerboseResolveMulti1.java	Thu Aug 02 18:22:41 2012 +0100
    47.3 @@ -25,6 +25,7 @@
    47.4  // key: compiler.note.verbose.resolve.multi.1
    47.5  // key: compiler.err.cant.apply.symbol.1
    47.6  // key: compiler.misc.no.conforming.assignment.exists
    47.7 +// key: compiler.misc.inconvertible.types
    47.8  // options: -XDverboseResolution=inapplicable,failure
    47.9  
   47.10  class VerboseResolveMulti1 {
    48.1 --- a/test/tools/javac/diags/examples/WhereFreshTvar.java	Thu Jul 26 16:48:41 2012 -0700
    48.2 +++ b/test/tools/javac/diags/examples/WhereFreshTvar.java	Thu Aug 02 18:22:41 2012 +0100
    48.3 @@ -23,8 +23,7 @@
    48.4  
    48.5  // key: compiler.misc.where.fresh.typevar
    48.6  // key: compiler.misc.where.description.typevar
    48.7 -// key: compiler.err.cant.apply.symbol.1
    48.8 -// key: compiler.misc.no.args
    48.9 +// key: compiler.err.prob.found.req
   48.10  // key: compiler.misc.inferred.do.not.conform.to.upper.bounds
   48.11  // options: -XDdiags=where,simpleNames
   48.12  // run: simple
    49.1 --- a/test/tools/javac/diags/examples/WhereIntersection.java	Thu Jul 26 16:48:41 2012 -0700
    49.2 +++ b/test/tools/javac/diags/examples/WhereIntersection.java	Thu Aug 02 18:22:41 2012 +0100
    49.3 @@ -25,6 +25,7 @@
    49.4  // key: compiler.misc.where.description.intersection
    49.5  // key: compiler.misc.intersection.type
    49.6  // key: compiler.err.prob.found.req
    49.7 +// key: compiler.misc.inconvertible.types
    49.8  // options: -XDdiags=where
    49.9  // run: simple
   49.10  
    50.1 --- a/test/tools/javac/diags/examples/WhereTypeVar.java	Thu Jul 26 16:48:41 2012 -0700
    50.2 +++ b/test/tools/javac/diags/examples/WhereTypeVar.java	Thu Aug 02 18:22:41 2012 +0100
    50.3 @@ -26,6 +26,7 @@
    50.4  // key: compiler.misc.type.var
    50.5  // key: compiler.err.cant.apply.symbol.1
    50.6  // key: compiler.misc.no.conforming.assignment.exists
    50.7 +// key: compiler.misc.inconvertible.types
    50.8  // options: -XDdiags=where,disambiguateTvars
    50.9  // run: simple
   50.10  
    51.1 --- a/test/tools/javac/generics/6207386/T6207386.out	Thu Jul 26 16:48:41 2012 -0700
    51.2 +++ b/test/tools/javac/generics/6207386/T6207386.out	Thu Aug 02 18:22:41 2012 +0100
    51.3 @@ -1,2 +1,2 @@
    51.4 -T6207386.java:13:30: compiler.err.prob.found.req: X, T6207386.F<? super X>
    51.5 +T6207386.java:13:30: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: X, T6207386.F<? super X>)
    51.6  1 error
    52.1 --- a/test/tools/javac/generics/diamond/neg/Neg05.out	Thu Jul 26 16:48:41 2012 -0700
    52.2 +++ b/test/tools/javac/generics/diamond/neg/Neg05.out	Thu Aug 02 18:22:41 2012 +0100
    52.3 @@ -1,19 +1,19 @@
    52.4  Neg05.java:19:48: compiler.err.improperly.formed.type.inner.raw.param
    52.5 -Neg05.java:19:35: compiler.err.prob.found.req: Neg05.Foo<java.lang.String>, Neg05<?>.Foo<java.lang.String>
    52.6 +Neg05.java:19:35: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: Neg05.Foo<java.lang.String>, Neg05<?>.Foo<java.lang.String>)
    52.7  Neg05.java:20:58: compiler.err.improperly.formed.type.inner.raw.param
    52.8 -Neg05.java:20:45: compiler.err.prob.found.req: Neg05.Foo<java.lang.String>, Neg05<?>.Foo<? extends java.lang.String>
    52.9 +Neg05.java:20:45: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: Neg05.Foo<java.lang.String>, Neg05<?>.Foo<? extends java.lang.String>)
   52.10  Neg05.java:21:43: compiler.err.improperly.formed.type.inner.raw.param
   52.11 -Neg05.java:21:30: compiler.err.prob.found.req: Neg05.Foo<java.lang.String>, Neg05<?>.Foo<?>
   52.12 +Neg05.java:21:30: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: Neg05.Foo<java.lang.String>, Neg05<?>.Foo<?>)
   52.13  Neg05.java:22:56: compiler.err.improperly.formed.type.inner.raw.param
   52.14 -Neg05.java:22:43: compiler.err.prob.found.req: Neg05.Foo<java.lang.String>, Neg05<?>.Foo<? super java.lang.String>
   52.15 +Neg05.java:22:43: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: Neg05.Foo<java.lang.String>, Neg05<?>.Foo<? super java.lang.String>)
   52.16  Neg05.java:24:48: compiler.err.improperly.formed.type.inner.raw.param
   52.17 -Neg05.java:24:35: compiler.err.prob.found.req: Neg05.Foo<java.lang.String>, Neg05<?>.Foo<java.lang.String>
   52.18 +Neg05.java:24:35: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: Neg05.Foo<java.lang.String>, Neg05<?>.Foo<java.lang.String>)
   52.19  Neg05.java:25:58: compiler.err.improperly.formed.type.inner.raw.param
   52.20 -Neg05.java:25:45: compiler.err.prob.found.req: Neg05.Foo<java.lang.String>, Neg05<?>.Foo<? extends java.lang.String>
   52.21 +Neg05.java:25:45: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: Neg05.Foo<java.lang.String>, Neg05<?>.Foo<? extends java.lang.String>)
   52.22  Neg05.java:26:43: compiler.err.improperly.formed.type.inner.raw.param
   52.23 -Neg05.java:26:30: compiler.err.prob.found.req: Neg05.Foo<java.lang.String>, Neg05<?>.Foo<?>
   52.24 +Neg05.java:26:30: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: Neg05.Foo<java.lang.String>, Neg05<?>.Foo<?>)
   52.25  Neg05.java:27:56: compiler.err.improperly.formed.type.inner.raw.param
   52.26 -Neg05.java:27:43: compiler.err.prob.found.req: Neg05.Foo<java.lang.String>, Neg05<?>.Foo<? super java.lang.String>
   52.27 +Neg05.java:27:43: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: Neg05.Foo<java.lang.String>, Neg05<?>.Foo<? super java.lang.String>)
   52.28  Neg05.java:31:37: compiler.err.improperly.formed.type.inner.raw.param
   52.29  Neg05.java:32:47: compiler.err.improperly.formed.type.inner.raw.param
   52.30  Neg05.java:33:32: compiler.err.improperly.formed.type.inner.raw.param
    53.1 --- a/test/tools/javac/generics/diamond/neg/Neg06.out	Thu Jul 26 16:48:41 2012 -0700
    53.2 +++ b/test/tools/javac/generics/diamond/neg/Neg06.out	Thu Aug 02 18:22:41 2012 +0100
    53.3 @@ -1,2 +1,2 @@
    53.4 -Neg06.java:16:37: compiler.err.prob.found.req.1: (compiler.misc.cant.apply.diamond.1: (compiler.misc.diamond: Neg06.CFoo), (compiler.misc.inferred.do.not.conform.to.upper.bounds: java.lang.String, java.lang.Number))
    53.5 +Neg06.java:16:37: compiler.err.prob.found.req: (compiler.misc.cant.apply.diamond.1: (compiler.misc.diamond: Neg06.CFoo), (compiler.misc.inferred.do.not.conform.to.upper.bounds: java.lang.String, java.lang.Number))
    53.6  1 error
    54.1 --- a/test/tools/javac/generics/diamond/neg/Neg10.out	Thu Jul 26 16:48:41 2012 -0700
    54.2 +++ b/test/tools/javac/generics/diamond/neg/Neg10.out	Thu Aug 02 18:22:41 2012 +0100
    54.3 @@ -1,2 +1,2 @@
    54.4 -Neg10.java:16:22: compiler.err.prob.found.req: Neg10.Foo<java.lang.Integer>, Neg10.Foo<java.lang.Number>
    54.5 +Neg10.java:16:22: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: Neg10.Foo<java.lang.Integer>, Neg10.Foo<java.lang.Number>)
    54.6  1 error
    55.1 --- a/test/tools/javac/generics/inference/6315770/T6315770.out	Thu Jul 26 16:48:41 2012 -0700
    55.2 +++ b/test/tools/javac/generics/inference/6315770/T6315770.out	Thu Aug 02 18:22:41 2012 +0100
    55.3 @@ -1,3 +1,3 @@
    55.4 -T6315770.java:16:42: compiler.err.cant.apply.symbol.1: kindname.method, m, compiler.misc.no.args, compiler.misc.no.args, kindname.class, T6315770<V>, (compiler.misc.no.unique.maximal.instance.exists: T, java.lang.String,java.lang.Integer,java.lang.Runnable)
    55.5 -T6315770.java:17:40: compiler.err.cant.apply.symbol.1: kindname.method, m, compiler.misc.no.args, compiler.misc.no.args, kindname.class, T6315770<V>, (compiler.misc.inferred.do.not.conform.to.lower.bounds: java.lang.Integer&java.lang.Runnable, java.lang.String)
    55.6 +T6315770.java:16:42: compiler.err.prob.found.req: (compiler.misc.no.unique.maximal.instance.exists: T, java.lang.String,java.lang.Integer,java.lang.Runnable)
    55.7 +T6315770.java:17:40: compiler.err.prob.found.req: (compiler.misc.inferred.do.not.conform.to.lower.bounds: java.lang.Integer&java.lang.Runnable, java.lang.String)
    55.8  2 errors
    56.1 --- a/test/tools/javac/generics/inference/6611449/T6611449.out	Thu Jul 26 16:48:41 2012 -0700
    56.2 +++ b/test/tools/javac/generics/inference/6611449/T6611449.out	Thu Aug 02 18:22:41 2012 +0100
    56.3 @@ -1,5 +1,5 @@
    56.4 -T6611449.java:18:9: compiler.err.cant.apply.symbols: kindname.constructor, T6611449, int,{(compiler.misc.inapplicable.method: kindname.constructor, T6611449, <T>T6611449(T,T), (compiler.misc.infer.arg.length.mismatch)),(compiler.misc.inapplicable.method: kindname.constructor, T6611449, <T>T6611449(T), (compiler.misc.inferred.do.not.conform.to.upper.bounds: java.lang.Integer, S))}
    56.5 -T6611449.java:19:9: compiler.err.cant.apply.symbols: kindname.constructor, T6611449, int,int,{(compiler.misc.inapplicable.method: kindname.constructor, T6611449, <T>T6611449(T,T), (compiler.misc.inferred.do.not.conform.to.upper.bounds: java.lang.Integer, S)),(compiler.misc.inapplicable.method: kindname.constructor, T6611449, <T>T6611449(T), (compiler.misc.infer.arg.length.mismatch))}
    56.6 +T6611449.java:18:9: compiler.err.cant.apply.symbols: kindname.constructor, T6611449, int,{(compiler.misc.inapplicable.method: kindname.constructor, T6611449, <T>T6611449(T,T), (compiler.misc.infer.arg.length.mismatch: T)),(compiler.misc.inapplicable.method: kindname.constructor, T6611449, <T>T6611449(T), (compiler.misc.inferred.do.not.conform.to.upper.bounds: java.lang.Integer, S))}
    56.7 +T6611449.java:19:9: compiler.err.cant.apply.symbols: kindname.constructor, T6611449, int,int,{(compiler.misc.inapplicable.method: kindname.constructor, T6611449, <T>T6611449(T,T), (compiler.misc.inferred.do.not.conform.to.upper.bounds: java.lang.Integer, S)),(compiler.misc.inapplicable.method: kindname.constructor, T6611449, <T>T6611449(T), (compiler.misc.infer.arg.length.mismatch: T))}
    56.8  T6611449.java:20:9: compiler.err.cant.apply.symbol.1: kindname.method, m1, T, int, kindname.class, T6611449<S>, (compiler.misc.inferred.do.not.conform.to.upper.bounds: java.lang.Integer, S)
    56.9  T6611449.java:21:9: compiler.err.cant.apply.symbol.1: kindname.method, m2, T,T, int,int, kindname.class, T6611449<S>, (compiler.misc.inferred.do.not.conform.to.upper.bounds: java.lang.Integer, S)
   56.10  4 errors
    57.1 --- a/test/tools/javac/generics/inference/6638712/T6638712a.out	Thu Jul 26 16:48:41 2012 -0700
    57.2 +++ b/test/tools/javac/generics/inference/6638712/T6638712a.out	Thu Aug 02 18:22:41 2012 +0100
    57.3 @@ -1,2 +1,2 @@
    57.4 -T6638712a.java:16:33: compiler.err.cant.apply.symbol.1: kindname.method, compound, java.lang.Iterable<? extends java.util.Comparator<? super T>>, java.util.List<java.util.Comparator<?>>, kindname.class, T6638712a, (compiler.misc.infer.no.conforming.assignment.exists: T, java.util.List<java.util.Comparator<?>>, java.lang.Iterable<? extends java.util.Comparator<? super T>>)
    57.5 +T6638712a.java:16:33: compiler.err.cant.apply.symbol.1: kindname.method, compound, java.lang.Iterable<? extends java.util.Comparator<? super T>>, java.util.List<java.util.Comparator<?>>, kindname.class, T6638712a, (compiler.misc.infer.no.conforming.assignment.exists: T, (compiler.misc.inconvertible.types: java.util.List<java.util.Comparator<?>>, java.lang.Iterable<? extends java.util.Comparator<? super T>>))
    57.6  1 error
    58.1 --- a/test/tools/javac/generics/inference/6638712/T6638712b.out	Thu Jul 26 16:48:41 2012 -0700
    58.2 +++ b/test/tools/javac/generics/inference/6638712/T6638712b.out	Thu Aug 02 18:22:41 2012 +0100
    58.3 @@ -1,2 +1,2 @@
    58.4 -T6638712b.java:14:21: compiler.err.cant.apply.symbol.1: kindname.method, m, I, T6638712b<java.lang.Integer>, kindname.class, T6638712b<X>, (compiler.misc.inferred.do.not.conform.to.upper.bounds: java.lang.Integer, java.lang.String,java.lang.Object)
    58.5 +T6638712b.java:14:21: compiler.err.prob.found.req: (compiler.misc.inferred.do.not.conform.to.upper.bounds: java.lang.Integer, java.lang.String,java.lang.Object)
    58.6  1 error
    59.1 --- a/test/tools/javac/generics/inference/6638712/T6638712c.out	Thu Jul 26 16:48:41 2012 -0700
    59.2 +++ b/test/tools/javac/generics/inference/6638712/T6638712c.out	Thu Aug 02 18:22:41 2012 +0100
    59.3 @@ -1,2 +1,2 @@
    59.4 -T6638712c.java:16:9: compiler.err.cant.apply.symbol.1: kindname.method, sort, T[],java.util.Comparator<? super T>, java.lang.Enum[],java.util.Comparator<java.lang.Enum<?>>, kindname.class, T6638712c, (compiler.misc.no.conforming.assignment.exists: java.util.Comparator<java.lang.Enum<?>>, java.util.Comparator<? super java.lang.Enum>)
    59.5 +T6638712c.java:16:9: compiler.err.cant.apply.symbol.1: kindname.method, sort, T[],java.util.Comparator<? super T>, java.lang.Enum[],java.util.Comparator<java.lang.Enum<?>>, kindname.class, T6638712c, (compiler.misc.no.conforming.assignment.exists: (compiler.misc.inconvertible.types: java.util.Comparator<java.lang.Enum<?>>, java.util.Comparator<? super java.lang.Enum>))
    59.6  1 error
    60.1 --- a/test/tools/javac/generics/inference/6638712/T6638712e.out	Thu Jul 26 16:48:41 2012 -0700
    60.2 +++ b/test/tools/javac/generics/inference/6638712/T6638712e.out	Thu Aug 02 18:22:41 2012 +0100
    60.3 @@ -1,2 +1,2 @@
    60.4 -T6638712e.java:17:27: compiler.err.cant.apply.symbol.1: kindname.method, m, T6638712e.Foo<? super X,? extends A>, T6638712e.Foo<java.lang.Boolean,java.lang.Boolean>, kindname.class, T6638712e.Foo<A,B>, (compiler.misc.inferred.do.not.conform.to.upper.bounds: java.lang.Object, java.lang.Boolean,java.lang.Object)
    60.5 +T6638712e.java:17:27: compiler.err.prob.found.req: (compiler.misc.inferred.do.not.conform.to.upper.bounds: java.lang.Object, java.lang.Boolean,java.lang.Object)
    60.6  1 error
    61.1 --- a/test/tools/javac/generics/inference/6650759/T6650759m.out	Thu Jul 26 16:48:41 2012 -0700
    61.2 +++ b/test/tools/javac/generics/inference/6650759/T6650759m.out	Thu Aug 02 18:22:41 2012 +0100
    61.3 @@ -1,2 +1,2 @@
    61.4 -T6650759m.java:43:36: compiler.err.cant.apply.symbol.1: kindname.method, m, java.util.List<? extends java.util.List<? super Z>>, java.util.ArrayList<java.util.ArrayList<java.lang.Integer>>, kindname.class, T6650759m, (compiler.misc.inferred.do.not.conform.to.lower.bounds: java.lang.Integer, java.lang.String)
    61.5 +T6650759m.java:43:36: compiler.err.prob.found.req: (compiler.misc.inferred.do.not.conform.to.lower.bounds: java.lang.Integer, java.lang.String)
    61.6  1 error
    62.1 --- a/test/tools/javac/generics/inference/6838943/T6838943.out	Thu Jul 26 16:48:41 2012 -0700
    62.2 +++ b/test/tools/javac/generics/inference/6838943/T6838943.out	Thu Aug 02 18:22:41 2012 +0100
    62.3 @@ -1,2 +1,2 @@
    62.4 -T6838943.java:13:14: compiler.err.cant.apply.symbol.1: kindname.method, m, T6838943.A<Z>,Z, T6838943.A<T6838943.B>,T6838943.B, kindname.class, T6838943.C<X>, (compiler.misc.infer.no.conforming.assignment.exists: Z, T6838943.A<T6838943.B>, T6838943.A<Z>)
    62.5 +T6838943.java:13:14: compiler.err.cant.apply.symbol.1: kindname.method, m, T6838943.A<Z>,Z, T6838943.A<T6838943.B>,T6838943.B, kindname.class, T6838943.C<X>, (compiler.misc.infer.no.conforming.assignment.exists: Z, (compiler.misc.inconvertible.types: T6838943.A<T6838943.B>, T6838943.A<Z>))
    62.6  1 error
    63.1 --- a/test/tools/javac/generics/inference/7086586/T7086586.out	Thu Jul 26 16:48:41 2012 -0700
    63.2 +++ b/test/tools/javac/generics/inference/7086586/T7086586.out	Thu Aug 02 18:22:41 2012 +0100
    63.3 @@ -1,5 +1,5 @@
    63.4 -T7086586.java:14:20: compiler.err.cant.apply.symbol.1: kindname.method, m, java.util.List<? super T>, java.util.List<compiler.misc.type.captureof: 1, ?>, kindname.class, T7086586, (compiler.misc.infer.no.conforming.assignment.exists: T, java.util.List<compiler.misc.type.captureof: 1, ?>, java.util.List<? super T>)
    63.5 -T7086586.java:15:20: compiler.err.cant.apply.symbol.1: kindname.method, m, java.util.List<? super T>, java.util.List<compiler.misc.type.captureof: 1, ?>, kindname.class, T7086586, (compiler.misc.infer.no.conforming.assignment.exists: T, java.util.List<compiler.misc.type.captureof: 1, ?>, java.util.List<? super T>)
    63.6 -T7086586.java:16:23: compiler.err.cant.apply.symbol.1: kindname.method, m, java.util.List<? super T>, java.util.List<compiler.misc.type.captureof: 1, ?>, kindname.class, T7086586, (compiler.misc.infer.no.conforming.assignment.exists: T, java.util.List<compiler.misc.type.captureof: 1, ?>, java.util.List<? super T>)
    63.7 -T7086586.java:17:9: compiler.err.cant.apply.symbol.1: kindname.method, m, java.util.List<? super T>, java.util.List<compiler.misc.type.captureof: 1, ?>, kindname.class, T7086586, (compiler.misc.infer.no.conforming.assignment.exists: T, java.util.List<compiler.misc.type.captureof: 1, ?>, java.util.List<? super T>)
    63.8 +T7086586.java:14:20: compiler.err.cant.apply.symbol.1: kindname.method, m, java.util.List<? super T>, java.util.List<compiler.misc.type.captureof: 1, ?>, kindname.class, T7086586, (compiler.misc.infer.no.conforming.assignment.exists: T, (compiler.misc.inconvertible.types: java.util.List<compiler.misc.type.captureof: 1, ?>, java.util.List<? super T>))
    63.9 +T7086586.java:15:20: compiler.err.cant.apply.symbol.1: kindname.method, m, java.util.List<? super T>, java.util.List<compiler.misc.type.captureof: 1, ?>, kindname.class, T7086586, (compiler.misc.infer.no.conforming.assignment.exists: T, (compiler.misc.inconvertible.types: java.util.List<compiler.misc.type.captureof: 1, ?>, java.util.List<? super T>))
   63.10 +T7086586.java:16:23: compiler.err.cant.apply.symbol.1: kindname.method, m, java.util.List<? super T>, java.util.List<compiler.misc.type.captureof: 1, ?>, kindname.class, T7086586, (compiler.misc.infer.no.conforming.assignment.exists: T, (compiler.misc.inconvertible.types: java.util.List<compiler.misc.type.captureof: 1, ?>, java.util.List<? super T>))
   63.11 +T7086586.java:17:9: compiler.err.cant.apply.symbol.1: kindname.method, m, java.util.List<? super T>, java.util.List<compiler.misc.type.captureof: 1, ?>, kindname.class, T7086586, (compiler.misc.infer.no.conforming.assignment.exists: T, (compiler.misc.inconvertible.types: java.util.List<compiler.misc.type.captureof: 1, ?>, java.util.List<? super T>))
   63.12  4 errors
    64.1 --- a/test/tools/javac/generics/inference/7154127/T7154127.out	Thu Jul 26 16:48:41 2012 -0700
    64.2 +++ b/test/tools/javac/generics/inference/7154127/T7154127.out	Thu Aug 02 18:22:41 2012 +0100
    64.3 @@ -1,2 +1,2 @@
    64.4 -T7154127.java:19:49: compiler.err.cant.apply.symbol.1: kindname.method, m, compiler.misc.no.args, compiler.misc.no.args, kindname.class, T7154127, (compiler.misc.inferred.do.not.conform.to.upper.bounds: Y, T7154127.D,T7154127.B<U>)
    64.5 +T7154127.java:19:49: compiler.err.prob.found.req: (compiler.misc.inferred.do.not.conform.to.upper.bounds: Y, T7154127.D,T7154127.B<U>)
    64.6  1 error
    65.1 --- a/test/tools/javac/generics/rawOverride/7062745/T7062745neg.out	Thu Jul 26 16:48:41 2012 -0700
    65.2 +++ b/test/tools/javac/generics/rawOverride/7062745/T7062745neg.out	Thu Aug 02 18:22:41 2012 +0100
    65.3 @@ -1,2 +1,2 @@
    65.4 -T7062745neg.java:16:36: compiler.err.prob.found.req: java.lang.Object, java.lang.Number
    65.5 +T7062745neg.java:16:36: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: java.lang.Object, java.lang.Number)
    65.6  1 error
    66.1 --- a/test/tools/javac/generics/wildcards/6886247/T6886247_2.out	Thu Jul 26 16:48:41 2012 -0700
    66.2 +++ b/test/tools/javac/generics/wildcards/6886247/T6886247_2.out	Thu Aug 02 18:22:41 2012 +0100
    66.3 @@ -1,2 +1,2 @@
    66.4 -T6886247_2.java:35:28: compiler.err.prob.found.req: compiler.misc.type.captureof: 1, ?, E
    66.5 +T6886247_2.java:35:28: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: compiler.misc.type.captureof: 1, ?, E)
    66.6  1 error
    67.1 --- a/test/tools/javac/multicatch/Neg06.out	Thu Jul 26 16:48:41 2012 -0700
    67.2 +++ b/test/tools/javac/multicatch/Neg06.out	Thu Aug 02 18:22:41 2012 +0100
    67.3 @@ -1,3 +1,3 @@
    67.4 -Neg06.java:14:16: compiler.err.prob.found.req: java.lang.String, java.lang.Throwable
    67.5 -Neg06.java:14:25: compiler.err.prob.found.req: java.lang.Integer, java.lang.Throwable
    67.6 +Neg06.java:14:16: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: java.lang.String, java.lang.Throwable)
    67.7 +Neg06.java:14:25: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: java.lang.Integer, java.lang.Throwable)
    67.8  2 errors
    68.1 --- a/test/tools/javac/multicatch/Neg07.out	Thu Jul 26 16:48:41 2012 -0700
    68.2 +++ b/test/tools/javac/multicatch/Neg07.out	Thu Aug 02 18:22:41 2012 +0100
    68.3 @@ -1,2 +1,2 @@
    68.4 -Neg07.java:14:56: compiler.err.prob.found.req: java.lang.Class<compiler.misc.type.captureof: 1, ? extends Neg07.ParentException>, java.lang.Class<? extends Neg07.HasFoo>
    68.5 +Neg07.java:14:56: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: java.lang.Class<compiler.misc.type.captureof: 1, ? extends Neg07.ParentException>, java.lang.Class<? extends Neg07.HasFoo>)
    68.6  1 error
    69.1 --- a/test/tools/javac/types/CastObjectToPrimitiveTest.out	Thu Jul 26 16:48:41 2012 -0700
    69.2 +++ b/test/tools/javac/types/CastObjectToPrimitiveTest.out	Thu Aug 02 18:22:41 2012 +0100
    69.3 @@ -1,2 +1,2 @@
    69.4 -CastObjectToPrimitiveTest.java:36:23: compiler.err.prob.found.req.1: (compiler.misc.inconvertible.types: java.lang.Object, int)
    69.5 +CastObjectToPrimitiveTest.java:36:23: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: java.lang.Object, int)
    69.6  1 error
    70.1 --- a/test/tools/javac/varargs/6313164/T6313164.out	Thu Jul 26 16:48:41 2012 -0700
    70.2 +++ b/test/tools/javac/varargs/6313164/T6313164.out	Thu Aug 02 18:22:41 2012 +0100
    70.3 @@ -1,6 +1,6 @@
    70.4  T6313164.java:12:8: compiler.err.cant.apply.symbol.1: kindname.method, foo1, p1.A[], p1.B,p1.B, kindname.class, p1.B, (compiler.misc.inaccessible.varargs.type: p1.A, kindname.class, T6313164)
    70.5 -T6313164.java:14:13: compiler.err.cant.apply.symbol.1: kindname.method, foo3, X[], compiler.misc.type.null,compiler.misc.type.null, kindname.class, p1.B, (compiler.misc.inaccessible.varargs.type: p1.A, kindname.class, T6313164)
    70.6 -T6313164.java:15:13: compiler.err.cant.apply.symbol.1: kindname.method, foo4, X[], compiler.misc.type.null,compiler.misc.type.null, kindname.class, p1.B, (compiler.misc.inaccessible.varargs.type: p1.A, kindname.class, T6313164)
    70.7 +T6313164.java:14:13: compiler.err.prob.found.req: (compiler.misc.inaccessible.varargs.type: p1.A, kindname.class, T6313164)
    70.8 +T6313164.java:15:13: compiler.err.prob.found.req: (compiler.misc.inaccessible.varargs.type: p1.A, kindname.class, T6313164)
    70.9  - compiler.note.unchecked.filename: B.java
   70.10  - compiler.note.unchecked.recompile
   70.11  3 errors
    71.1 --- a/test/tools/javac/varargs/7097436/T7097436.out	Thu Jul 26 16:48:41 2012 -0700
    71.2 +++ b/test/tools/javac/varargs/7097436/T7097436.out	Thu Aug 02 18:22:41 2012 +0100
    71.3 @@ -1,6 +1,6 @@
    71.4  T7097436.java:13:20: compiler.warn.varargs.unsafe.use.varargs.param: ls
    71.5  T7097436.java:14:25: compiler.warn.varargs.unsafe.use.varargs.param: ls
    71.6 -T7097436.java:15:20: compiler.err.prob.found.req: java.util.List<java.lang.String>[], java.lang.String
    71.7 -T7097436.java:16:26: compiler.err.prob.found.req: java.util.List<java.lang.String>[], java.lang.Integer[]
    71.8 +T7097436.java:15:20: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: java.util.List<java.lang.String>[], java.lang.String)
    71.9 +T7097436.java:16:26: compiler.err.prob.found.req: (compiler.misc.inconvertible.types: java.util.List<java.lang.String>[], java.lang.Integer[])
   71.10  2 errors
   71.11  2 warnings

mercurial